(define (problem a)
	(:domain matching)
	(:objects 			obj1 
			obj2 
			obj3 
			obj4 
			obj5 
			obj6 
			obj7 
			obj8 
			obj9 
			obj10 
			obj11 
			obj12 
			obj13 
			obj14 
			obj15 
			obj16 
			obj17 
			obj18 
			obj19 
			obj20 
			obj21 
			obj22 
			obj23 

	)
	(:init
		(guess)
		(suc zero obj1)
		(suc obj1 obj2)
		(suc obj2 obj3)
		(suc obj3 obj4)
		(suc obj4 obj5)
		(suc obj5 obj6)
		(suc obj6 obj7)
		(suc obj7 obj8)
		(suc obj8 obj9)
		(suc obj9 obj10)
		(suc obj10 obj11)
		(suc obj11 obj12)
		(suc obj12 obj13)
		(suc obj13 obj14)
		(suc obj14 obj15)
		(suc obj15 obj16)
		(suc obj16 obj17)
		(suc obj17 obj18)
		(suc obj18 obj19)
		(suc obj19 obj20)
		(suc obj20 obj21)
		(suc obj21 obj22)
		(suc obj22 obj23)
		(suc obj23 max)
		(t zero zero obj1)
		(t zero zero obj3)
		(t zero zero obj6)
		(t zero zero obj8)
		(t zero zero obj10)
		(t zero zero obj11)
		(t zero zero obj14)
		(t zero zero obj15)
		(t zero zero obj21)
		(t zero zero max)
		(t zero obj1 zero)
		(t zero obj1 obj3)
		(t zero obj1 obj8)
		(t zero obj1 obj9)
		(t zero obj1 obj10)
		(t zero obj1 obj19)
		(t zero obj2 obj1)
		(t zero obj2 obj4)
		(t zero obj2 obj6)
		(t zero obj2 obj20)
		(t zero obj3 obj3)
		(t zero obj3 obj5)
		(t zero obj3 obj6)
		(t zero obj3 obj7)
		(t zero obj3 obj9)
		(t zero obj3 obj10)
		(t zero obj3 obj13)
		(t zero obj3 max)
		(t zero obj4 zero)
		(t zero obj4 obj1)
		(t zero obj4 obj2)
		(t zero obj4 obj6)
		(t zero obj4 obj15)
		(t zero obj4 obj22)
		(t zero obj4 max)
		(t zero obj5 zero)
		(t zero obj5 obj1)
		(t zero obj5 obj2)
		(t zero obj5 obj4)
		(t zero obj5 obj5)
		(t zero obj5 obj6)
		(t zero obj5 obj7)
		(t zero obj5 obj9)
		(t zero obj5 obj12)
		(t zero obj5 obj16)
		(t zero obj5 obj21)
		(t zero obj5 obj22)
		(t zero obj6 obj1)
		(t zero obj6 obj2)
		(t zero obj6 obj5)
		(t zero obj6 obj7)
		(t zero obj6 obj14)
		(t zero obj6 obj19)
		(t zero obj7 obj1)
		(t zero obj7 obj4)
		(t zero obj7 obj5)
		(t zero obj7 obj15)
		(t zero obj7 obj16)
		(t zero obj7 obj17)
		(t zero obj7 obj18)
		(t zero obj8 zero)
		(t zero obj8 obj6)
		(t zero obj8 obj15)
		(t zero obj8 obj16)
		(t zero obj8 obj17)
		(t zero obj8 obj20)
		(t zero obj9 obj1)
		(t zero obj9 obj2)
		(t zero obj9 obj10)
		(t zero obj9 obj13)
		(t zero obj9 obj17)
		(t zero obj10 obj3)
		(t zero obj10 obj5)
		(t zero obj10 obj6)
		(t zero obj10 obj8)
		(t zero obj10 obj16)
		(t zero obj10 obj18)
		(t zero obj11 obj16)
		(t zero obj11 obj17)
		(t zero obj11 obj19)
		(t zero obj11 obj20)
		(t zero obj11 obj21)
		(t zero obj12 zero)
		(t zero obj12 obj3)
		(t zero obj12 obj6)
		(t zero obj12 obj12)
		(t zero obj12 obj16)
		(t zero obj12 obj19)
		(t zero obj12 obj22)
		(t zero obj13 obj1)
		(t zero obj13 obj5)
		(t zero obj13 obj7)
		(t zero obj13 obj10)
		(t zero obj13 obj15)
		(t zero obj13 obj19)
		(t zero obj13 obj20)
		(t zero obj13 obj23)
		(t zero obj14 obj2)
		(t zero obj14 obj4)
		(t zero obj14 obj11)
		(t zero obj14 obj13)
		(t zero obj14 obj14)
		(t zero obj14 obj15)
		(t zero obj14 obj16)
		(t zero obj14 obj17)
		(t zero obj14 obj23)
		(t zero obj15 zero)
		(t zero obj15 obj2)
		(t zero obj15 obj5)
		(t zero obj15 obj8)
		(t zero obj15 obj23)
		(t zero obj15 max)
		(t zero obj16 zero)
		(t zero obj16 obj3)
		(t zero obj16 obj4)
		(t zero obj16 obj9)
		(t zero obj16 obj12)
		(t zero obj16 obj18)
		(t zero obj16 obj22)
		(t zero obj17 obj1)
		(t zero obj17 obj3)
		(t zero obj17 obj5)
		(t zero obj17 obj7)
		(t zero obj17 obj8)
		(t zero obj17 obj10)
		(t zero obj17 obj20)
		(t zero obj17 obj23)
		(t zero obj18 obj4)
		(t zero obj18 obj14)
		(t zero obj18 obj15)
		(t zero obj18 obj16)
		(t zero obj18 obj18)
		(t zero obj19 zero)
		(t zero obj19 obj6)
		(t zero obj19 obj9)
		(t zero obj19 obj12)
		(t zero obj19 obj22)
		(t zero obj19 obj23)
		(t zero obj20 obj3)
		(t zero obj20 obj4)
		(t zero obj20 obj13)
		(t zero obj20 obj15)
		(t zero obj20 obj18)
		(t zero obj20 max)
		(t zero obj21 obj1)
		(t zero obj21 obj3)
		(t zero obj21 obj6)
		(t zero obj21 obj11)
		(t zero obj21 obj14)
		(t zero obj21 obj15)
		(t zero obj21 obj19)
		(t zero obj21 obj23)
		(t zero obj22 obj1)
		(t zero obj22 obj13)
		(t zero obj22 obj14)
		(t zero obj22 obj18)
		(t zero obj22 obj21)
		(t zero obj23 obj6)
		(t zero obj23 obj12)
		(t zero obj23 obj14)
		(t zero max zero)
		(t zero max obj1)
		(t zero max obj2)
		(t zero max obj5)
		(t zero max obj9)
		(t zero max obj10)
		(t zero max obj11)
		(t zero max obj13)
		(t zero max obj14)
		(t zero max max)
		(t obj1 zero obj2)
		(t obj1 zero obj6)
		(t obj1 zero obj8)
		(t obj1 zero obj14)
		(t obj1 zero obj15)
		(t obj1 zero obj20)
		(t obj1 obj1 obj1)
		(t obj1 obj1 obj2)
		(t obj1 obj1 obj3)
		(t obj1 obj1 obj12)
		(t obj1 obj1 obj14)
		(t obj1 obj1 obj18)
		(t obj1 obj1 obj22)
		(t obj1 obj1 obj23)
		(t obj1 obj2 obj2)
		(t obj1 obj2 obj4)
		(t obj1 obj2 obj11)
		(t obj1 obj2 obj12)
		(t obj1 obj2 obj16)
		(t obj1 obj2 obj23)
		(t obj1 obj2 max)
		(t obj1 obj3 obj3)
		(t obj1 obj3 obj7)
		(t obj1 obj3 obj11)
		(t obj1 obj3 obj12)
		(t obj1 obj3 obj17)
		(t obj1 obj3 obj18)
		(t obj1 obj3 obj22)
		(t obj1 obj3 max)
		(t obj1 obj4 obj1)
		(t obj1 obj4 obj2)
		(t obj1 obj4 obj3)
		(t obj1 obj4 obj11)
		(t obj1 obj4 obj14)
		(t obj1 obj4 obj19)
		(t obj1 obj4 obj20)
		(t obj1 obj4 max)
		(t obj1 obj5 obj1)
		(t obj1 obj5 obj6)
		(t obj1 obj5 obj10)
		(t obj1 obj5 obj13)
		(t obj1 obj5 obj17)
		(t obj1 obj5 obj18)
		(t obj1 obj5 obj19)
		(t obj1 obj6 obj7)
		(t obj1 obj6 obj12)
		(t obj1 obj6 obj13)
		(t obj1 obj6 obj22)
		(t obj1 obj7 obj7)
		(t obj1 obj7 obj8)
		(t obj1 obj7 obj10)
		(t obj1 obj7 obj11)
		(t obj1 obj7 obj12)
		(t obj1 obj7 obj19)
		(t obj1 obj7 obj20)
		(t obj1 obj7 max)
		(t obj1 obj8 obj6)
		(t obj1 obj8 obj12)
		(t obj1 obj8 obj13)
		(t obj1 obj8 obj14)
		(t obj1 obj8 obj15)
		(t obj1 obj8 obj22)
		(t obj1 obj9 obj1)
		(t obj1 obj9 obj6)
		(t obj1 obj9 obj8)
		(t obj1 obj9 obj9)
		(t obj1 obj9 obj19)
		(t obj1 obj9 obj22)
		(t obj1 obj9 max)
		(t obj1 obj10 zero)
		(t obj1 obj10 obj4)
		(t obj1 obj10 obj5)
		(t obj1 obj10 obj8)
		(t obj1 obj10 obj10)
		(t obj1 obj10 obj13)
		(t obj1 obj10 obj14)
		(t obj1 obj10 obj18)
		(t obj1 obj10 obj19)
		(t obj1 obj11 obj7)
		(t obj1 obj11 obj9)
		(t obj1 obj11 obj10)
		(t obj1 obj11 obj17)
		(t obj1 obj11 obj18)
		(t obj1 obj11 obj22)
		(t obj1 obj12 obj1)
		(t obj1 obj12 obj5)
		(t obj1 obj12 obj9)
		(t obj1 obj12 obj10)
		(t obj1 obj12 obj14)
		(t obj1 obj12 obj20)
		(t obj1 obj12 obj22)
		(t obj1 obj13 obj1)
		(t obj1 obj13 obj2)
		(t obj1 obj13 obj6)
		(t obj1 obj13 obj7)
		(t obj1 obj13 obj10)
		(t obj1 obj13 obj13)
		(t obj1 obj13 obj15)
		(t obj1 obj14 obj1)
		(t obj1 obj14 obj4)
		(t obj1 obj14 obj8)
		(t obj1 obj14 obj10)
		(t obj1 obj14 obj11)
		(t obj1 obj14 obj13)
		(t obj1 obj14 obj16)
		(t obj1 obj14 obj18)
		(t obj1 obj14 obj22)
		(t obj1 obj15 obj1)
		(t obj1 obj15 obj6)
		(t obj1 obj15 obj11)
		(t obj1 obj15 obj14)
		(t obj1 obj15 obj17)
		(t obj1 obj15 obj21)
		(t obj1 obj15 max)
		(t obj1 obj16 obj3)
		(t obj1 obj16 obj4)
		(t obj1 obj16 obj5)
		(t obj1 obj16 obj9)
		(t obj1 obj16 obj11)
		(t obj1 obj16 obj19)
		(t obj1 obj17 obj5)
		(t obj1 obj17 obj7)
		(t obj1 obj17 obj15)
		(t obj1 obj17 obj16)
		(t obj1 obj17 obj17)
		(t obj1 obj17 obj22)
		(t obj1 obj17 obj23)
		(t obj1 obj18 zero)
		(t obj1 obj18 obj1)
		(t obj1 obj18 obj3)
		(t obj1 obj18 obj5)
		(t obj1 obj18 obj8)
		(t obj1 obj18 obj11)
		(t obj1 obj18 obj13)
		(t obj1 obj18 obj14)
		(t obj1 obj18 obj15)
		(t obj1 obj18 obj21)
		(t obj1 obj19 obj4)
		(t obj1 obj19 obj6)
		(t obj1 obj19 obj9)
		(t obj1 obj19 obj10)
		(t obj1 obj19 obj12)
		(t obj1 obj19 obj15)
		(t obj1 obj19 obj16)
		(t obj1 obj19 obj21)
		(t obj1 obj19 max)
		(t obj1 obj20 obj3)
		(t obj1 obj20 obj9)
		(t obj1 obj20 obj10)
		(t obj1 obj20 obj11)
		(t obj1 obj20 obj12)
		(t obj1 obj21 obj1)
		(t obj1 obj21 obj3)
		(t obj1 obj21 obj5)
		(t obj1 obj21 obj12)
		(t obj1 obj22 obj1)
		(t obj1 obj22 obj3)
		(t obj1 obj22 obj5)
		(t obj1 obj22 obj6)
		(t obj1 obj22 obj7)
		(t obj1 obj22 obj10)
		(t obj1 obj22 obj11)
		(t obj1 obj22 obj12)
		(t obj1 obj22 obj17)
		(t obj1 obj22 obj23)
		(t obj1 obj23 obj2)
		(t obj1 obj23 obj3)
		(t obj1 obj23 obj4)
		(t obj1 obj23 obj5)
		(t obj1 obj23 obj12)
		(t obj1 obj23 obj13)
		(t obj1 obj23 obj15)
		(t obj1 obj23 obj18)
		(t obj1 max obj3)
		(t obj1 max obj10)
		(t obj1 max obj12)
		(t obj1 max obj14)
		(t obj1 max obj15)
		(t obj1 max obj16)
		(t obj1 max obj19)
		(t obj1 max obj23)
		(t obj2 zero obj5)
		(t obj2 zero obj8)
		(t obj2 zero obj10)
		(t obj2 zero obj19)
		(t obj2 zero obj21)
		(t obj2 zero obj22)
		(t obj2 obj1 obj3)
		(t obj2 obj1 obj11)
		(t obj2 obj1 obj15)
		(t obj2 obj1 obj19)
		(t obj2 obj1 obj22)
		(t obj2 obj1 obj23)
		(t obj2 obj2 obj2)
		(t obj2 obj2 obj3)
		(t obj2 obj2 obj4)
		(t obj2 obj2 obj7)
		(t obj2 obj2 obj9)
		(t obj2 obj2 obj12)
		(t obj2 obj2 obj14)
		(t obj2 obj2 obj20)
		(t obj2 obj2 obj22)
		(t obj2 obj2 obj23)
		(t obj2 obj3 zero)
		(t obj2 obj3 obj7)
		(t obj2 obj3 obj16)
		(t obj2 obj4 obj2)
		(t obj2 obj4 obj14)
		(t obj2 obj4 obj20)
		(t obj2 obj4 obj22)
		(t obj2 obj5 obj1)
		(t obj2 obj5 obj11)
		(t obj2 obj5 obj15)
		(t obj2 obj5 obj18)
		(t obj2 obj5 obj21)
		(t obj2 obj6 obj2)
		(t obj2 obj6 obj6)
		(t obj2 obj6 obj9)
		(t obj2 obj6 obj10)
		(t obj2 obj6 obj16)
		(t obj2 obj7 zero)
		(t obj2 obj7 obj8)
		(t obj2 obj7 obj9)
		(t obj2 obj7 obj12)
		(t obj2 obj7 obj21)
		(t obj2 obj8 zero)
		(t obj2 obj8 obj3)
		(t obj2 obj8 obj4)
		(t obj2 obj8 obj8)
		(t obj2 obj8 obj9)
		(t obj2 obj8 obj10)
		(t obj2 obj8 obj13)
		(t obj2 obj8 obj16)
		(t obj2 obj8 max)
		(t obj2 obj9 obj7)
		(t obj2 obj9 obj8)
		(t obj2 obj9 obj10)
		(t obj2 obj9 obj12)
		(t obj2 obj9 obj17)
		(t obj2 obj10 obj1)
		(t obj2 obj10 obj4)
		(t obj2 obj10 obj13)
		(t obj2 obj10 obj22)
		(t obj2 obj11 obj17)
		(t obj2 obj11 obj21)
		(t obj2 obj11 obj23)
		(t obj2 obj11 max)
		(t obj2 obj12 obj11)
		(t obj2 obj12 obj15)
		(t obj2 obj12 obj16)
		(t obj2 obj12 obj17)
		(t obj2 obj13 obj7)
		(t obj2 obj13 obj9)
		(t obj2 obj13 obj10)
		(t obj2 obj13 obj15)
		(t obj2 obj13 obj22)
		(t obj2 obj13 max)
		(t obj2 obj14 zero)
		(t obj2 obj14 obj1)
		(t obj2 obj14 obj2)
		(t obj2 obj14 obj4)
		(t obj2 obj14 obj6)
		(t obj2 obj14 obj8)
		(t obj2 obj14 obj9)
		(t obj2 obj14 obj11)
		(t obj2 obj14 obj13)
		(t obj2 obj14 obj14)
		(t obj2 obj14 obj19)
		(t obj2 obj15 obj2)
		(t obj2 obj15 obj3)
		(t obj2 obj15 obj6)
		(t obj2 obj15 obj9)
		(t obj2 obj15 obj12)
		(t obj2 obj15 obj17)
		(t obj2 obj16 obj4)
		(t obj2 obj16 obj22)
		(t obj2 obj17 obj3)
		(t obj2 obj17 obj14)
		(t obj2 obj17 obj17)
		(t obj2 obj17 obj20)
		(t obj2 obj17 max)
		(t obj2 obj18 obj4)
		(t obj2 obj18 obj7)
		(t obj2 obj18 obj14)
		(t obj2 obj18 obj15)
		(t obj2 obj18 obj16)
		(t obj2 obj18 obj22)
		(t obj2 obj18 obj23)
		(t obj2 obj19 obj1)
		(t obj2 obj19 obj4)
		(t obj2 obj19 obj8)
		(t obj2 obj19 obj9)
		(t obj2 obj19 obj22)
		(t obj2 obj19 obj23)
		(t obj2 obj19 max)
		(t obj2 obj20 zero)
		(t obj2 obj20 obj1)
		(t obj2 obj20 obj7)
		(t obj2 obj20 obj10)
		(t obj2 obj20 obj19)
		(t obj2 obj20 obj22)
		(t obj2 obj20 obj23)
		(t obj2 obj21 obj4)
		(t obj2 obj21 obj9)
		(t obj2 obj21 obj10)
		(t obj2 obj21 obj17)
		(t obj2 obj21 obj20)
		(t obj2 obj21 obj22)
		(t obj2 obj21 obj23)
		(t obj2 obj21 max)
		(t obj2 obj22 obj1)
		(t obj2 obj22 obj3)
		(t obj2 obj22 obj4)
		(t obj2 obj22 obj6)
		(t obj2 obj22 obj10)
		(t obj2 obj22 obj12)
		(t obj2 obj22 obj21)
		(t obj2 obj22 obj22)
		(t obj2 obj22 obj23)
		(t obj2 obj23 obj1)
		(t obj2 obj23 obj5)
		(t obj2 obj23 obj9)
		(t obj2 obj23 obj13)
		(t obj2 obj23 obj15)
		(t obj2 obj23 obj18)
		(t obj2 obj23 obj22)
		(t obj2 max obj2)
		(t obj2 max obj5)
		(t obj2 max obj9)
		(t obj2 max obj12)
		(t obj2 max obj13)
		(t obj2 max obj16)
		(t obj2 max obj19)
		(t obj2 max obj21)
		(t obj2 max obj22)
		(t obj3 zero zero)
		(t obj3 zero obj1)
		(t obj3 zero obj2)
		(t obj3 zero obj6)
		(t obj3 zero obj11)
		(t obj3 zero obj12)
		(t obj3 zero obj16)
		(t obj3 zero obj22)
		(t obj3 obj1 obj2)
		(t obj3 obj1 obj5)
		(t obj3 obj1 obj8)
		(t obj3 obj1 obj12)
		(t obj3 obj1 obj20)
		(t obj3 obj2 obj2)
		(t obj3 obj2 obj4)
		(t obj3 obj2 obj5)
		(t obj3 obj2 obj6)
		(t obj3 obj2 obj9)
		(t obj3 obj2 obj10)
		(t obj3 obj2 obj12)
		(t obj3 obj2 obj13)
		(t obj3 obj2 obj18)
		(t obj3 obj2 obj21)
		(t obj3 obj2 obj22)
		(t obj3 obj3 obj1)
		(t obj3 obj3 obj3)
		(t obj3 obj3 obj6)
		(t obj3 obj3 obj9)
		(t obj3 obj3 obj20)
		(t obj3 obj4 obj3)
		(t obj3 obj4 obj7)
		(t obj3 obj4 obj12)
		(t obj3 obj4 obj15)
		(t obj3 obj4 obj16)
		(t obj3 obj4 max)
		(t obj3 obj5 obj14)
		(t obj3 obj5 obj21)
		(t obj3 obj5 obj22)
		(t obj3 obj5 obj23)
		(t obj3 obj6 obj2)
		(t obj3 obj6 obj3)
		(t obj3 obj6 obj9)
		(t obj3 obj6 obj16)
		(t obj3 obj6 obj17)
		(t obj3 obj6 obj21)
		(t obj3 obj6 max)
		(t obj3 obj7 obj6)
		(t obj3 obj7 obj7)
		(t obj3 obj7 obj10)
		(t obj3 obj7 obj14)
		(t obj3 obj7 obj15)
		(t obj3 obj7 obj18)
		(t obj3 obj8 obj8)
		(t obj3 obj8 obj10)
		(t obj3 obj9 obj8)
		(t obj3 obj9 obj10)
		(t obj3 obj9 obj13)
		(t obj3 obj9 obj19)
		(t obj3 obj9 obj22)
		(t obj3 obj9 obj23)
		(t obj3 obj10 obj15)
		(t obj3 obj11 obj4)
		(t obj3 obj11 obj9)
		(t obj3 obj11 obj16)
		(t obj3 obj11 obj20)
		(t obj3 obj11 obj21)
		(t obj3 obj12 obj2)
		(t obj3 obj12 obj7)
		(t obj3 obj12 obj12)
		(t obj3 obj12 obj21)
		(t obj3 obj12 obj22)
		(t obj3 obj12 max)
		(t obj3 obj13 zero)
		(t obj3 obj13 obj1)
		(t obj3 obj13 obj6)
		(t obj3 obj13 obj7)
		(t obj3 obj13 obj12)
		(t obj3 obj13 obj14)
		(t obj3 obj13 obj20)
		(t obj3 obj14 obj1)
		(t obj3 obj14 obj2)
		(t obj3 obj14 obj13)
		(t obj3 obj14 obj16)
		(t obj3 obj14 obj21)
		(t obj3 obj14 obj22)
		(t obj3 obj14 max)
		(t obj3 obj15 obj3)
		(t obj3 obj15 obj7)
		(t obj3 obj15 obj8)
		(t obj3 obj15 obj11)
		(t obj3 obj15 obj12)
		(t obj3 obj15 obj14)
		(t obj3 obj15 obj15)
		(t obj3 obj15 obj18)
		(t obj3 obj15 obj20)
		(t obj3 obj15 obj23)
		(t obj3 obj16 obj2)
		(t obj3 obj16 obj7)
		(t obj3 obj16 obj10)
		(t obj3 obj16 obj12)
		(t obj3 obj16 obj18)
		(t obj3 obj16 obj20)
		(t obj3 obj16 obj22)
		(t obj3 obj17 obj7)
		(t obj3 obj17 obj8)
		(t obj3 obj17 obj12)
		(t obj3 obj17 obj17)
		(t obj3 obj17 obj19)
		(t obj3 obj17 obj20)
		(t obj3 obj18 obj3)
		(t obj3 obj18 obj5)
		(t obj3 obj18 obj12)
		(t obj3 obj18 obj16)
		(t obj3 obj18 obj17)
		(t obj3 obj18 obj21)
		(t obj3 obj18 obj22)
		(t obj3 obj18 obj23)
		(t obj3 obj18 max)
		(t obj3 obj19 obj2)
		(t obj3 obj19 obj5)
		(t obj3 obj19 obj13)
		(t obj3 obj19 obj17)
		(t obj3 obj19 obj20)
		(t obj3 obj19 obj21)
		(t obj3 obj19 obj22)
		(t obj3 obj19 max)
		(t obj3 obj20 obj2)
		(t obj3 obj20 obj8)
		(t obj3 obj20 obj17)
		(t obj3 obj20 obj22)
		(t obj3 obj20 max)
		(t obj3 obj21 obj7)
		(t obj3 obj21 obj8)
		(t obj3 obj21 obj11)
		(t obj3 obj21 obj13)
		(t obj3 obj21 obj16)
		(t obj3 obj21 obj17)
		(t obj3 obj21 max)
		(t obj3 obj22 obj5)
		(t obj3 obj22 obj11)
		(t obj3 obj22 obj14)
		(t obj3 obj22 obj15)
		(t obj3 obj22 obj17)
		(t obj3 obj22 obj20)
		(t obj3 obj22 max)
		(t obj3 obj23 zero)
		(t obj3 obj23 obj1)
		(t obj3 obj23 obj4)
		(t obj3 obj23 obj8)
		(t obj3 obj23 obj11)
		(t obj3 obj23 obj13)
		(t obj3 obj23 obj20)
		(t obj3 obj23 obj21)
		(t obj3 obj23 obj22)
		(t obj3 max obj1)
		(t obj3 max obj5)
		(t obj3 max obj10)
		(t obj3 max obj17)
		(t obj3 max obj18)
		(t obj4 zero obj2)
		(t obj4 zero obj5)
		(t obj4 zero obj7)
		(t obj4 zero obj10)
		(t obj4 zero obj11)
		(t obj4 zero obj13)
		(t obj4 zero obj15)
		(t obj4 obj1 obj4)
		(t obj4 obj1 obj9)
		(t obj4 obj1 obj10)
		(t obj4 obj1 obj20)
		(t obj4 obj2 obj6)
		(t obj4 obj2 obj7)
		(t obj4 obj2 obj10)
		(t obj4 obj2 obj18)
		(t obj4 obj2 obj19)
		(t obj4 obj2 obj22)
		(t obj4 obj3 zero)
		(t obj4 obj3 obj5)
		(t obj4 obj3 obj7)
		(t obj4 obj3 obj10)
		(t obj4 obj3 obj12)
		(t obj4 obj3 obj18)
		(t obj4 obj3 obj21)
		(t obj4 obj3 max)
		(t obj4 obj4 obj3)
		(t obj4 obj4 obj5)
		(t obj4 obj4 obj6)
		(t obj4 obj4 obj8)
		(t obj4 obj4 obj10)
		(t obj4 obj4 obj20)
		(t obj4 obj5 obj1)
		(t obj4 obj5 obj6)
		(t obj4 obj5 obj8)
		(t obj4 obj5 obj11)
		(t obj4 obj5 obj15)
		(t obj4 obj5 obj19)
		(t obj4 obj5 obj20)
		(t obj4 obj5 obj21)
		(t obj4 obj5 obj23)
		(t obj4 obj6 obj3)
		(t obj4 obj6 obj9)
		(t obj4 obj6 obj11)
		(t obj4 obj6 obj15)
		(t obj4 obj6 obj16)
		(t obj4 obj6 obj21)
		(t obj4 obj7 obj1)
		(t obj4 obj7 obj3)
		(t obj4 obj7 obj6)
		(t obj4 obj7 obj7)
		(t obj4 obj7 obj13)
		(t obj4 obj7 obj16)
		(t obj4 obj7 obj19)
		(t obj4 obj7 obj20)
		(t obj4 obj8 obj5)
		(t obj4 obj9 obj1)
		(t obj4 obj9 obj7)
		(t obj4 obj9 obj8)
		(t obj4 obj9 obj10)
		(t obj4 obj9 obj11)
		(t obj4 obj9 obj17)
		(t obj4 obj9 obj18)
		(t obj4 obj10 obj2)
		(t obj4 obj10 obj3)
		(t obj4 obj10 obj10)
		(t obj4 obj10 obj15)
		(t obj4 obj10 obj16)
		(t obj4 obj10 obj19)
		(t obj4 obj10 obj21)
		(t obj4 obj11 zero)
		(t obj4 obj11 obj4)
		(t obj4 obj11 obj8)
		(t obj4 obj11 obj9)
		(t obj4 obj11 obj14)
		(t obj4 obj11 obj21)
		(t obj4 obj11 obj23)
		(t obj4 obj12 obj5)
		(t obj4 obj12 obj9)
		(t obj4 obj12 obj13)
		(t obj4 obj12 obj14)
		(t obj4 obj12 obj15)
		(t obj4 obj12 obj17)
		(t obj4 obj13 obj13)
		(t obj4 obj13 obj14)
		(t obj4 obj13 obj20)
		(t obj4 obj13 obj22)
		(t obj4 obj13 obj23)
		(t obj4 obj13 max)
		(t obj4 obj14 zero)
		(t obj4 obj14 obj3)
		(t obj4 obj14 obj6)
		(t obj4 obj14 obj7)
		(t obj4 obj14 obj10)
		(t obj4 obj14 obj11)
		(t obj4 obj14 obj13)
		(t obj4 obj14 obj22)
		(t obj4 obj14 max)
		(t obj4 obj15 obj3)
		(t obj4 obj15 obj9)
		(t obj4 obj15 obj13)
		(t obj4 obj15 obj14)
		(t obj4 obj15 obj19)
		(t obj4 obj15 obj21)
		(t obj4 obj16 obj6)
		(t obj4 obj16 obj12)
		(t obj4 obj16 obj17)
		(t obj4 obj16 obj21)
		(t obj4 obj16 obj22)
		(t obj4 obj16 max)
		(t obj4 obj17 obj1)
		(t obj4 obj17 obj3)
		(t obj4 obj17 obj4)
		(t obj4 obj17 obj6)
		(t obj4 obj17 obj12)
		(t obj4 obj17 obj13)
		(t obj4 obj17 obj16)
		(t obj4 obj17 obj18)
		(t obj4 obj17 obj20)
		(t obj4 obj17 obj21)
		(t obj4 obj18 zero)
		(t obj4 obj18 obj2)
		(t obj4 obj18 obj4)
		(t obj4 obj18 obj6)
		(t obj4 obj18 obj9)
		(t obj4 obj18 obj14)
		(t obj4 obj18 obj19)
		(t obj4 obj18 obj21)
		(t obj4 obj18 obj22)
		(t obj4 obj19 obj2)
		(t obj4 obj19 obj18)
		(t obj4 obj19 obj20)
		(t obj4 obj20 obj1)
		(t obj4 obj20 obj2)
		(t obj4 obj20 obj3)
		(t obj4 obj20 obj7)
		(t obj4 obj20 obj14)
		(t obj4 obj20 obj20)
		(t obj4 obj21 obj7)
		(t obj4 obj21 obj15)
		(t obj4 obj21 obj16)
		(t obj4 obj21 obj22)
		(t obj4 obj21 obj23)
		(t obj4 obj22 obj5)
		(t obj4 obj22 obj9)
		(t obj4 obj22 obj10)
		(t obj4 obj22 obj12)
		(t obj4 obj22 obj17)
		(t obj4 obj23 zero)
		(t obj4 obj23 obj4)
		(t obj4 obj23 obj8)
		(t obj4 obj23 obj9)
		(t obj4 obj23 obj11)
		(t obj4 obj23 obj12)
		(t obj4 obj23 obj16)
		(t obj4 obj23 obj18)
		(t obj4 obj23 obj21)
		(t obj4 max obj1)
		(t obj4 max obj13)
		(t obj4 max obj19)
		(t obj5 zero obj1)
		(t obj5 zero obj16)
		(t obj5 zero obj21)
		(t obj5 zero obj22)
		(t obj5 zero obj23)
		(t obj5 obj1 zero)
		(t obj5 obj1 obj1)
		(t obj5 obj1 obj4)
		(t obj5 obj1 obj8)
		(t obj5 obj1 obj15)
		(t obj5 obj1 obj18)
		(t obj5 obj2 obj3)
		(t obj5 obj2 obj9)
		(t obj5 obj2 obj10)
		(t obj5 obj2 obj18)
		(t obj5 obj2 obj21)
		(t obj5 obj3 obj12)
		(t obj5 obj3 obj15)
		(t obj5 obj3 obj17)
		(t obj5 obj3 obj19)
		(t obj5 obj4 obj2)
		(t obj5 obj4 obj4)
		(t obj5 obj4 obj6)
		(t obj5 obj4 obj7)
		(t obj5 obj4 obj8)
		(t obj5 obj4 obj16)
		(t obj5 obj4 obj17)
		(t obj5 obj4 obj19)
		(t obj5 obj4 obj22)
		(t obj5 obj5 obj1)
		(t obj5 obj5 obj5)
		(t obj5 obj5 obj9)
		(t obj5 obj5 obj12)
		(t obj5 obj5 obj14)
		(t obj5 obj5 obj19)
		(t obj5 obj5 obj21)
		(t obj5 obj6 obj6)
		(t obj5 obj6 obj11)
		(t obj5 obj6 obj12)
		(t obj5 obj6 obj16)
		(t obj5 obj6 obj18)
		(t obj5 obj6 max)
		(t obj5 obj7 obj2)
		(t obj5 obj7 obj4)
		(t obj5 obj7 obj7)
		(t obj5 obj7 obj9)
		(t obj5 obj7 obj14)
		(t obj5 obj7 obj16)
		(t obj5 obj7 obj18)
		(t obj5 obj7 obj23)
		(t obj5 obj7 max)
		(t obj5 obj8 obj5)
		(t obj5 obj8 obj6)
		(t obj5 obj8 obj8)
		(t obj5 obj8 obj11)
		(t obj5 obj8 obj13)
		(t obj5 obj8 obj17)
		(t obj5 obj8 obj19)
		(t obj5 obj8 obj20)
		(t obj5 obj8 obj21)
		(t obj5 obj9 zero)
		(t obj5 obj9 obj6)
		(t obj5 obj9 obj8)
		(t obj5 obj9 obj10)
		(t obj5 obj9 obj15)
		(t obj5 obj9 obj17)
		(t obj5 obj9 obj21)
		(t obj5 obj9 obj22)
		(t obj5 obj10 zero)
		(t obj5 obj10 obj8)
		(t obj5 obj10 obj12)
		(t obj5 obj10 obj13)
		(t obj5 obj10 obj16)
		(t obj5 obj10 obj18)
		(t obj5 obj10 obj19)
		(t obj5 obj10 obj20)
		(t obj5 obj11 obj6)
		(t obj5 obj11 obj10)
		(t obj5 obj11 obj13)
		(t obj5 obj11 obj17)
		(t obj5 obj12 obj8)
		(t obj5 obj12 obj13)
		(t obj5 obj12 obj14)
		(t obj5 obj12 obj16)
		(t obj5 obj13 obj3)
		(t obj5 obj13 obj10)
		(t obj5 obj13 obj12)
		(t obj5 obj13 obj13)
		(t obj5 obj13 obj19)
		(t obj5 obj13 max)
		(t obj5 obj14 obj5)
		(t obj5 obj14 obj7)
		(t obj5 obj14 obj9)
		(t obj5 obj14 obj13)
		(t obj5 obj14 obj22)
		(t obj5 obj14 max)
		(t obj5 obj15 obj1)
		(t obj5 obj15 obj2)
		(t obj5 obj15 obj8)
		(t obj5 obj15 obj16)
		(t obj5 obj16 obj5)
		(t obj5 obj16 obj14)
		(t obj5 obj16 obj16)
		(t obj5 obj16 obj19)
		(t obj5 obj16 obj22)
		(t obj5 obj17 obj15)
		(t obj5 obj17 obj20)
		(t obj5 obj17 obj23)
		(t obj5 obj18 zero)
		(t obj5 obj18 obj2)
		(t obj5 obj18 obj7)
		(t obj5 obj18 obj10)
		(t obj5 obj18 obj13)
		(t obj5 obj18 obj19)
		(t obj5 obj19 obj1)
		(t obj5 obj19 obj15)
		(t obj5 obj19 obj21)
		(t obj5 obj19 obj22)
		(t obj5 obj20 obj3)
		(t obj5 obj20 obj17)
		(t obj5 obj20 obj23)
		(t obj5 obj21 zero)
		(t obj5 obj21 obj12)
		(t obj5 obj21 obj22)
		(t obj5 obj22 obj2)
		(t obj5 obj22 obj6)
		(t obj5 obj22 obj7)
		(t obj5 obj22 obj8)
		(t obj5 obj22 obj14)
		(t obj5 obj22 obj17)
		(t obj5 obj22 obj19)
		(t obj5 obj22 obj21)
		(t obj5 obj23 zero)
		(t obj5 obj23 obj2)
		(t obj5 obj23 obj3)
		(t obj5 obj23 obj8)
		(t obj5 obj23 obj10)
		(t obj5 obj23 obj14)
		(t obj5 obj23 obj16)
		(t obj5 obj23 obj19)
		(t obj5 max obj1)
		(t obj5 max obj8)
		(t obj5 max obj10)
		(t obj5 max obj16)
		(t obj5 max obj19)
		(t obj5 max obj23)
		(t obj6 zero zero)
		(t obj6 zero obj10)
		(t obj6 zero obj11)
		(t obj6 zero obj12)
		(t obj6 zero obj18)
		(t obj6 zero obj22)
		(t obj6 zero obj23)
		(t obj6 obj1 obj3)
		(t obj6 obj1 obj4)
		(t obj6 obj1 obj5)
		(t obj6 obj1 obj13)
		(t obj6 obj1 obj14)
		(t obj6 obj1 obj17)
		(t obj6 obj1 obj19)
		(t obj6 obj2 obj4)
		(t obj6 obj2 obj5)
		(t obj6 obj2 obj6)
		(t obj6 obj2 obj9)
		(t obj6 obj2 obj13)
		(t obj6 obj2 obj16)
		(t obj6 obj2 obj22)
		(t obj6 obj2 obj23)
		(t obj6 obj3 obj1)
		(t obj6 obj3 obj3)
		(t obj6 obj3 obj4)
		(t obj6 obj3 obj10)
		(t obj6 obj3 obj12)
		(t obj6 obj3 obj17)
		(t obj6 obj3 obj21)
		(t obj6 obj3 max)
		(t obj6 obj4 zero)
		(t obj6 obj4 obj2)
		(t obj6 obj4 obj8)
		(t obj6 obj4 obj9)
		(t obj6 obj4 obj12)
		(t obj6 obj4 obj13)
		(t obj6 obj4 obj14)
		(t obj6 obj4 obj16)
		(t obj6 obj4 obj22)
		(t obj6 obj4 obj23)
		(t obj6 obj5 zero)
		(t obj6 obj5 obj3)
		(t obj6 obj5 obj5)
		(t obj6 obj5 obj7)
		(t obj6 obj5 obj11)
		(t obj6 obj5 obj19)
		(t obj6 obj5 obj20)
		(t obj6 obj5 max)
		(t obj6 obj6 obj1)
		(t obj6 obj6 obj5)
		(t obj6 obj6 obj7)
		(t obj6 obj6 obj9)
		(t obj6 obj6 obj13)
		(t obj6 obj6 obj17)
		(t obj6 obj6 obj21)
		(t obj6 obj7 zero)
		(t obj6 obj7 obj1)
		(t obj6 obj7 obj2)
		(t obj6 obj7 obj16)
		(t obj6 obj7 obj21)
		(t obj6 obj8 obj4)
		(t obj6 obj8 obj14)
		(t obj6 obj8 obj16)
		(t obj6 obj8 obj17)
		(t obj6 obj9 obj1)
		(t obj6 obj9 obj8)
		(t obj6 obj9 obj17)
		(t obj6 obj9 obj18)
		(t obj6 obj9 obj21)
		(t obj6 obj10 zero)
		(t obj6 obj10 obj6)
		(t obj6 obj10 obj8)
		(t obj6 obj10 obj10)
		(t obj6 obj10 obj19)
		(t obj6 obj10 obj20)
		(t obj6 obj10 obj21)
		(t obj6 obj10 obj23)
		(t obj6 obj10 max)
		(t obj6 obj11 obj5)
		(t obj6 obj11 obj6)
		(t obj6 obj11 obj12)
		(t obj6 obj11 obj16)
		(t obj6 obj11 obj18)
		(t obj6 obj11 obj23)
		(t obj6 obj11 max)
		(t obj6 obj12 obj1)
		(t obj6 obj12 obj5)
		(t obj6 obj12 obj6)
		(t obj6 obj12 obj7)
		(t obj6 obj12 obj12)
		(t obj6 obj12 obj13)
		(t obj6 obj12 obj14)
		(t obj6 obj12 obj16)
		(t obj6 obj12 obj20)
		(t obj6 obj13 zero)
		(t obj6 obj13 obj1)
		(t obj6 obj13 obj6)
		(t obj6 obj13 obj7)
		(t obj6 obj13 obj8)
		(t obj6 obj13 obj14)
		(t obj6 obj13 obj17)
		(t obj6 obj13 obj18)
		(t obj6 obj13 obj20)
		(t obj6 obj13 obj23)
		(t obj6 obj13 max)
		(t obj6 obj14 obj1)
		(t obj6 obj14 obj2)
		(t obj6 obj14 obj4)
		(t obj6 obj14 obj5)
		(t obj6 obj14 obj10)
		(t obj6 obj14 obj11)
		(t obj6 obj14 obj17)
		(t obj6 obj14 obj20)
		(t obj6 obj14 obj21)
		(t obj6 obj14 obj23)
		(t obj6 obj14 max)
		(t obj6 obj15 obj4)
		(t obj6 obj15 obj7)
		(t obj6 obj15 obj10)
		(t obj6 obj15 obj13)
		(t obj6 obj15 obj14)
		(t obj6 obj15 obj17)
		(t obj6 obj15 obj21)
		(t obj6 obj16 zero)
		(t obj6 obj16 obj7)
		(t obj6 obj16 obj8)
		(t obj6 obj16 obj11)
		(t obj6 obj16 obj12)
		(t obj6 obj16 obj13)
		(t obj6 obj16 obj15)
		(t obj6 obj16 obj16)
		(t obj6 obj16 obj22)
		(t obj6 obj16 max)
		(t obj6 obj17 obj6)
		(t obj6 obj17 obj8)
		(t obj6 obj17 obj11)
		(t obj6 obj17 obj17)
		(t obj6 obj17 obj19)
		(t obj6 obj17 obj21)
		(t obj6 obj18 obj2)
		(t obj6 obj18 obj3)
		(t obj6 obj18 obj4)
		(t obj6 obj18 obj6)
		(t obj6 obj18 obj7)
		(t obj6 obj18 obj11)
		(t obj6 obj18 obj12)
		(t obj6 obj18 obj13)
		(t obj6 obj18 max)
		(t obj6 obj19 obj1)
		(t obj6 obj19 obj2)
		(t obj6 obj19 obj13)
		(t obj6 obj19 obj14)
		(t obj6 obj19 obj20)
		(t obj6 obj19 obj21)
		(t obj6 obj19 max)
		(t obj6 obj20 obj2)
		(t obj6 obj20 obj6)
		(t obj6 obj20 obj12)
		(t obj6 obj20 obj17)
		(t obj6 obj20 obj20)
		(t obj6 obj20 obj23)
		(t obj6 obj21 obj2)
		(t obj6 obj21 obj7)
		(t obj6 obj21 obj8)
		(t obj6 obj21 obj9)
		(t obj6 obj21 obj11)
		(t obj6 obj21 obj12)
		(t obj6 obj21 obj15)
		(t obj6 obj21 obj22)
		(t obj6 obj21 max)
		(t obj6 obj22 obj1)
		(t obj6 obj22 obj10)
		(t obj6 obj22 obj19)
		(t obj6 obj22 obj20)
		(t obj6 obj22 max)
		(t obj6 obj23 zero)
		(t obj6 obj23 obj1)
		(t obj6 obj23 obj3)
		(t obj6 obj23 obj4)
		(t obj6 obj23 obj8)
		(t obj6 obj23 obj9)
		(t obj6 obj23 obj12)
		(t obj6 obj23 obj19)
		(t obj6 obj23 obj20)
		(t obj6 obj23 obj21)
		(t obj6 obj23 obj22)
		(t obj6 max obj5)
		(t obj6 max obj8)
		(t obj6 max obj9)
		(t obj6 max obj13)
		(t obj6 max obj16)
		(t obj6 max obj18)
		(t obj6 max obj22)
		(t obj6 max obj23)
		(t obj7 zero obj1)
		(t obj7 zero obj2)
		(t obj7 zero obj4)
		(t obj7 zero obj6)
		(t obj7 zero obj11)
		(t obj7 zero obj13)
		(t obj7 zero obj19)
		(t obj7 zero obj23)
		(t obj7 zero max)
		(t obj7 obj1 obj8)
		(t obj7 obj1 obj10)
		(t obj7 obj1 obj11)
		(t obj7 obj1 obj13)
		(t obj7 obj1 obj17)
		(t obj7 obj1 obj18)
		(t obj7 obj2 zero)
		(t obj7 obj2 obj1)
		(t obj7 obj2 obj6)
		(t obj7 obj2 obj16)
		(t obj7 obj2 obj20)
		(t obj7 obj2 obj23)
		(t obj7 obj3 obj2)
		(t obj7 obj3 obj6)
		(t obj7 obj3 obj8)
		(t obj7 obj3 obj10)
		(t obj7 obj3 obj13)
		(t obj7 obj3 obj14)
		(t obj7 obj3 obj15)
		(t obj7 obj3 obj16)
		(t obj7 obj3 obj19)
		(t obj7 obj3 obj20)
		(t obj7 obj3 max)
		(t obj7 obj4 zero)
		(t obj7 obj4 obj2)
		(t obj7 obj4 obj14)
		(t obj7 obj4 obj15)
		(t obj7 obj4 obj17)
		(t obj7 obj4 obj20)
		(t obj7 obj4 max)
		(t obj7 obj5 obj2)
		(t obj7 obj5 obj5)
		(t obj7 obj5 obj10)
		(t obj7 obj5 obj23)
		(t obj7 obj5 max)
		(t obj7 obj6 obj5)
		(t obj7 obj6 obj16)
		(t obj7 obj6 max)
		(t obj7 obj7 obj4)
		(t obj7 obj7 obj12)
		(t obj7 obj7 obj14)
		(t obj7 obj7 obj15)
		(t obj7 obj7 obj17)
		(t obj7 obj7 obj19)
		(t obj7 obj7 obj20)
		(t obj7 obj7 obj21)
		(t obj7 obj7 obj23)
		(t obj7 obj8 obj12)
		(t obj7 obj8 obj20)
		(t obj7 obj9 zero)
		(t obj7 obj9 obj2)
		(t obj7 obj9 obj7)
		(t obj7 obj9 obj12)
		(t obj7 obj9 obj15)
		(t obj7 obj9 obj22)
		(t obj7 obj10 obj1)
		(t obj7 obj10 obj5)
		(t obj7 obj10 obj10)
		(t obj7 obj10 obj17)
		(t obj7 obj10 obj18)
		(t obj7 obj11 obj1)
		(t obj7 obj11 obj11)
		(t obj7 obj11 obj12)
		(t obj7 obj11 obj16)
		(t obj7 obj11 obj19)
		(t obj7 obj11 obj22)
		(t obj7 obj12 obj6)
		(t obj7 obj12 obj9)
		(t obj7 obj12 obj10)
		(t obj7 obj12 obj13)
		(t obj7 obj12 obj19)
		(t obj7 obj12 obj20)
		(t obj7 obj12 obj21)
		(t obj7 obj13 zero)
		(t obj7 obj13 obj1)
		(t obj7 obj13 obj2)
		(t obj7 obj13 obj3)
		(t obj7 obj13 obj6)
		(t obj7 obj13 obj13)
		(t obj7 obj13 obj15)
		(t obj7 obj13 obj16)
		(t obj7 obj13 obj17)
		(t obj7 obj14 obj1)
		(t obj7 obj14 obj4)
		(t obj7 obj14 obj17)
		(t obj7 obj15 obj2)
		(t obj7 obj15 obj3)
		(t obj7 obj15 obj6)
		(t obj7 obj16 obj5)
		(t obj7 obj16 obj7)
		(t obj7 obj16 obj8)
		(t obj7 obj16 obj9)
		(t obj7 obj16 obj11)
		(t obj7 obj16 obj12)
		(t obj7 obj16 obj13)
		(t obj7 obj16 obj21)
		(t obj7 obj16 max)
		(t obj7 obj17 obj3)
		(t obj7 obj17 obj8)
		(t obj7 obj17 obj9)
		(t obj7 obj17 obj10)
		(t obj7 obj17 obj11)
		(t obj7 obj17 obj14)
		(t obj7 obj17 obj15)
		(t obj7 obj17 obj16)
		(t obj7 obj18 zero)
		(t obj7 obj18 obj4)
		(t obj7 obj18 obj5)
		(t obj7 obj18 obj6)
		(t obj7 obj18 obj9)
		(t obj7 obj18 obj12)
		(t obj7 obj19 zero)
		(t obj7 obj19 obj1)
		(t obj7 obj19 obj4)
		(t obj7 obj19 obj8)
		(t obj7 obj20 obj7)
		(t obj7 obj20 obj12)
		(t obj7 obj20 obj15)
		(t obj7 obj20 obj22)
		(t obj7 obj20 max)
		(t obj7 obj21 obj1)
		(t obj7 obj21 obj8)
		(t obj7 obj21 obj11)
		(t obj7 obj22 obj2)
		(t obj7 obj22 obj4)
		(t obj7 obj22 obj6)
		(t obj7 obj22 obj10)
		(t obj7 obj22 obj13)
		(t obj7 obj22 obj15)
		(t obj7 obj22 obj17)
		(t obj7 obj22 obj20)
		(t obj7 obj23 obj2)
		(t obj7 obj23 obj3)
		(t obj7 obj23 obj5)
		(t obj7 obj23 obj6)
		(t obj7 obj23 obj9)
		(t obj7 obj23 obj15)
		(t obj7 obj23 max)
		(t obj7 max obj4)
		(t obj7 max obj9)
		(t obj7 max obj13)
		(t obj7 max obj14)
		(t obj7 max obj22)
		(t obj8 zero obj2)
		(t obj8 zero obj8)
		(t obj8 zero obj9)
		(t obj8 zero obj10)
		(t obj8 obj1 obj1)
		(t obj8 obj1 obj3)
		(t obj8 obj1 obj4)
		(t obj8 obj1 obj6)
		(t obj8 obj1 obj8)
		(t obj8 obj1 obj16)
		(t obj8 obj1 obj17)
		(t obj8 obj1 obj22)
		(t obj8 obj2 obj2)
		(t obj8 obj2 obj3)
		(t obj8 obj2 obj4)
		(t obj8 obj2 obj6)
		(t obj8 obj2 obj15)
		(t obj8 obj2 obj18)
		(t obj8 obj2 obj21)
		(t obj8 obj3 obj4)
		(t obj8 obj3 obj10)
		(t obj8 obj3 obj11)
		(t obj8 obj3 obj12)
		(t obj8 obj3 obj15)
		(t obj8 obj3 obj21)
		(t obj8 obj3 obj22)
		(t obj8 obj3 max)
		(t obj8 obj4 obj1)
		(t obj8 obj4 obj3)
		(t obj8 obj4 obj4)
		(t obj8 obj4 obj9)
		(t obj8 obj4 obj16)
		(t obj8 obj4 obj17)
		(t obj8 obj4 obj18)
		(t obj8 obj4 obj20)
		(t obj8 obj5 obj1)
		(t obj8 obj5 obj2)
		(t obj8 obj5 obj8)
		(t obj8 obj5 obj9)
		(t obj8 obj5 obj10)
		(t obj8 obj5 obj13)
		(t obj8 obj5 obj15)
		(t obj8 obj5 obj18)
		(t obj8 obj5 obj22)
		(t obj8 obj6 obj1)
		(t obj8 obj6 obj3)
		(t obj8 obj6 obj4)
		(t obj8 obj6 obj6)
		(t obj8 obj6 obj7)
		(t obj8 obj6 obj13)
		(t obj8 obj6 obj17)
		(t obj8 obj6 obj18)
		(t obj8 obj6 obj22)
		(t obj8 obj7 zero)
		(t obj8 obj7 obj8)
		(t obj8 obj7 obj10)
		(t obj8 obj7 obj15)
		(t obj8 obj7 obj18)
		(t obj8 obj7 obj20)
		(t obj8 obj8 obj5)
		(t obj8 obj8 obj6)
		(t obj8 obj8 obj10)
		(t obj8 obj8 obj13)
		(t obj8 obj8 obj16)
		(t obj8 obj8 obj17)
		(t obj8 obj9 obj5)
		(t obj8 obj9 obj12)
		(t obj8 obj9 obj18)
		(t obj8 obj10 zero)
		(t obj8 obj10 obj10)
		(t obj8 obj10 obj17)
		(t obj8 obj10 obj18)
		(t obj8 obj11 zero)
		(t obj8 obj11 obj2)
		(t obj8 obj11 obj8)
		(t obj8 obj11 obj10)
		(t obj8 obj12 zero)
		(t obj8 obj12 obj1)
		(t obj8 obj12 obj9)
		(t obj8 obj12 obj12)
		(t obj8 obj12 obj18)
		(t obj8 obj12 obj21)
		(t obj8 obj13 obj2)
		(t obj8 obj13 obj3)
		(t obj8 obj13 obj7)
		(t obj8 obj13 obj10)
		(t obj8 obj13 obj14)
		(t obj8 obj13 obj19)
		(t obj8 obj13 obj20)
		(t obj8 obj14 zero)
		(t obj8 obj14 obj2)
		(t obj8 obj14 obj4)
		(t obj8 obj14 obj7)
		(t obj8 obj14 obj14)
		(t obj8 obj14 obj16)
		(t obj8 obj14 obj23)
		(t obj8 obj15 obj3)
		(t obj8 obj15 obj5)
		(t obj8 obj15 obj6)
		(t obj8 obj15 obj7)
		(t obj8 obj15 obj8)
		(t obj8 obj15 obj16)
		(t obj8 obj15 obj21)
		(t obj8 obj16 obj3)
		(t obj8 obj16 obj6)
		(t obj8 obj16 obj17)
		(t obj8 obj16 obj22)
		(t obj8 obj17 obj3)
		(t obj8 obj17 obj4)
		(t obj8 obj17 obj10)
		(t obj8 obj17 obj11)
		(t obj8 obj17 obj16)
		(t obj8 obj17 obj18)
		(t obj8 obj17 obj22)
		(t obj8 obj18 zero)
		(t obj8 obj18 obj7)
		(t obj8 obj18 obj17)
		(t obj8 obj18 obj19)
		(t obj8 obj19 zero)
		(t obj8 obj19 obj3)
		(t obj8 obj19 obj10)
		(t obj8 obj19 obj13)
		(t obj8 obj19 obj15)
		(t obj8 obj19 obj16)
		(t obj8 obj19 obj18)
		(t obj8 obj19 obj19)
		(t obj8 obj20 obj7)
		(t obj8 obj20 obj8)
		(t obj8 obj20 obj13)
		(t obj8 obj20 obj18)
		(t obj8 obj20 obj23)
		(t obj8 obj21 obj1)
		(t obj8 obj21 obj2)
		(t obj8 obj21 obj7)
		(t obj8 obj21 obj12)
		(t obj8 obj21 obj18)
		(t obj8 obj21 obj23)
		(t obj8 obj22 obj2)
		(t obj8 obj22 obj8)
		(t obj8 obj22 obj10)
		(t obj8 obj22 obj17)
		(t obj8 obj23 obj2)
		(t obj8 obj23 obj3)
		(t obj8 obj23 obj6)
		(t obj8 obj23 obj7)
		(t obj8 obj23 obj10)
		(t obj8 obj23 obj11)
		(t obj8 obj23 obj13)
		(t obj8 obj23 obj19)
		(t obj8 obj23 obj21)
		(t obj8 obj23 obj22)
		(t obj8 max obj1)
		(t obj8 max obj5)
		(t obj8 max obj10)
		(t obj8 max obj13)
		(t obj8 max obj16)
		(t obj8 max obj19)
		(t obj8 max obj20)
		(t obj8 max obj21)
		(t obj8 max obj23)
		(t obj9 zero obj6)
		(t obj9 zero obj7)
		(t obj9 zero obj8)
		(t obj9 zero obj10)
		(t obj9 zero obj14)
		(t obj9 zero obj15)
		(t obj9 zero obj21)
		(t obj9 obj1 obj4)
		(t obj9 obj1 obj12)
		(t obj9 obj1 obj15)
		(t obj9 obj1 obj19)
		(t obj9 obj1 max)
		(t obj9 obj2 obj3)
		(t obj9 obj2 obj7)
		(t obj9 obj2 obj12)
		(t obj9 obj2 obj19)
		(t obj9 obj2 obj21)
		(t obj9 obj2 obj23)
		(t obj9 obj3 obj1)
		(t obj9 obj3 obj5)
		(t obj9 obj3 obj11)
		(t obj9 obj3 obj19)
		(t obj9 obj3 obj20)
		(t obj9 obj3 obj23)
		(t obj9 obj4 obj2)
		(t obj9 obj4 obj7)
		(t obj9 obj4 obj10)
		(t obj9 obj4 obj16)
		(t obj9 obj4 obj18)
		(t obj9 obj4 obj21)
		(t obj9 obj4 obj23)
		(t obj9 obj5 zero)
		(t obj9 obj5 obj1)
		(t obj9 obj5 obj2)
		(t obj9 obj5 obj3)
		(t obj9 obj5 obj4)
		(t obj9 obj5 obj5)
		(t obj9 obj5 obj7)
		(t obj9 obj5 obj11)
		(t obj9 obj5 obj13)
		(t obj9 obj5 obj15)
		(t obj9 obj5 obj20)
		(t obj9 obj5 obj21)
		(t obj9 obj6 obj2)
		(t obj9 obj6 obj9)
		(t obj9 obj6 obj12)
		(t obj9 obj6 obj13)
		(t obj9 obj7 obj3)
		(t obj9 obj7 obj8)
		(t obj9 obj7 obj10)
		(t obj9 obj7 obj13)
		(t obj9 obj7 obj16)
		(t obj9 obj7 obj18)
		(t obj9 obj7 obj22)
		(t obj9 obj7 obj23)
		(t obj9 obj8 obj9)
		(t obj9 obj8 obj16)
		(t obj9 obj9 obj6)
		(t obj9 obj9 obj7)
		(t obj9 obj9 obj9)
		(t obj9 obj9 obj11)
		(t obj9 obj9 obj12)
		(t obj9 obj9 obj14)
		(t obj9 obj9 obj21)
		(t obj9 obj9 max)
		(t obj9 obj10 obj2)
		(t obj9 obj10 obj4)
		(t obj9 obj10 obj6)
		(t obj9 obj10 obj7)
		(t obj9 obj10 obj11)
		(t obj9 obj10 obj17)
		(t obj9 obj10 obj19)
		(t obj9 obj11 zero)
		(t obj9 obj11 obj4)
		(t obj9 obj11 obj16)
		(t obj9 obj12 obj3)
		(t obj9 obj12 obj6)
		(t obj9 obj12 obj9)
		(t obj9 obj12 obj10)
		(t obj9 obj12 obj18)
		(t obj9 obj12 obj20)
		(t obj9 obj12 obj21)
		(t obj9 obj12 obj23)
		(t obj9 obj13 obj6)
		(t obj9 obj13 obj15)
		(t obj9 obj13 obj17)
		(t obj9 obj13 obj18)
		(t obj9 obj13 obj19)
		(t obj9 obj14 obj2)
		(t obj9 obj14 obj6)
		(t obj9 obj14 obj11)
		(t obj9 obj14 obj15)
		(t obj9 obj14 obj20)
		(t obj9 obj15 obj2)
		(t obj9 obj15 obj15)
		(t obj9 obj16 obj1)
		(t obj9 obj16 obj4)
		(t obj9 obj16 obj6)
		(t obj9 obj16 obj9)
		(t obj9 obj16 obj11)
		(t obj9 obj16 obj20)
		(t obj9 obj17 zero)
		(t obj9 obj17 obj4)
		(t obj9 obj17 obj8)
		(t obj9 obj17 obj13)
		(t obj9 obj17 obj15)
		(t obj9 obj17 obj16)
		(t obj9 obj17 obj20)
		(t obj9 obj17 obj23)
		(t obj9 obj18 obj1)
		(t obj9 obj18 obj4)
		(t obj9 obj18 obj5)
		(t obj9 obj18 obj8)
		(t obj9 obj19 zero)
		(t obj9 obj19 obj3)
		(t obj9 obj19 obj6)
		(t obj9 obj19 obj10)
		(t obj9 obj19 obj15)
		(t obj9 obj19 obj16)
		(t obj9 obj19 obj19)
		(t obj9 obj19 obj20)
		(t obj9 obj19 obj22)
		(t obj9 obj19 max)
		(t obj9 obj20 zero)
		(t obj9 obj20 obj5)
		(t obj9 obj20 obj7)
		(t obj9 obj20 obj13)
		(t obj9 obj20 obj18)
		(t obj9 obj21 obj7)
		(t obj9 obj21 obj10)
		(t obj9 obj21 obj18)
		(t obj9 obj22 obj8)
		(t obj9 obj22 obj14)
		(t obj9 obj22 obj19)
		(t obj9 obj22 obj23)
		(t obj9 obj23 obj1)
		(t obj9 obj23 obj3)
		(t obj9 obj23 obj11)
		(t obj9 obj23 obj12)
		(t obj9 obj23 obj20)
		(t obj9 max obj6)
		(t obj9 max obj7)
		(t obj9 max obj8)
		(t obj9 max obj12)
		(t obj9 max obj17)
		(t obj9 max obj18)
		(t obj10 zero zero)
		(t obj10 zero obj3)
		(t obj10 zero obj4)
		(t obj10 zero obj6)
		(t obj10 zero obj11)
		(t obj10 zero obj12)
		(t obj10 zero obj13)
		(t obj10 zero obj23)
		(t obj10 obj1 obj3)
		(t obj10 obj1 obj5)
		(t obj10 obj1 obj7)
		(t obj10 obj1 obj13)
		(t obj10 obj1 max)
		(t obj10 obj2 obj1)
		(t obj10 obj2 obj6)
		(t obj10 obj2 obj11)
		(t obj10 obj2 obj13)
		(t obj10 obj2 obj15)
		(t obj10 obj2 obj23)
		(t obj10 obj3 obj2)
		(t obj10 obj3 obj5)
		(t obj10 obj3 obj9)
		(t obj10 obj3 obj11)
		(t obj10 obj3 obj13)
		(t obj10 obj3 obj14)
		(t obj10 obj4 obj2)
		(t obj10 obj4 obj5)
		(t obj10 obj4 obj8)
		(t obj10 obj4 obj11)
		(t obj10 obj4 obj14)
		(t obj10 obj4 obj15)
		(t obj10 obj4 obj17)
		(t obj10 obj4 obj18)
		(t obj10 obj5 obj7)
		(t obj10 obj5 obj10)
		(t obj10 obj5 obj13)
		(t obj10 obj5 obj15)
		(t obj10 obj5 obj21)
		(t obj10 obj6 zero)
		(t obj10 obj6 obj2)
		(t obj10 obj6 obj4)
		(t obj10 obj6 obj5)
		(t obj10 obj6 obj7)
		(t obj10 obj6 obj9)
		(t obj10 obj6 obj12)
		(t obj10 obj6 obj13)
		(t obj10 obj6 obj23)
		(t obj10 obj7 obj1)
		(t obj10 obj7 obj6)
		(t obj10 obj7 obj8)
		(t obj10 obj7 obj15)
		(t obj10 obj7 obj23)
		(t obj10 obj8 zero)
		(t obj10 obj8 obj7)
		(t obj10 obj8 obj11)
		(t obj10 obj8 obj17)
		(t obj10 obj8 obj20)
		(t obj10 obj8 obj21)
		(t obj10 obj8 max)
		(t obj10 obj9 zero)
		(t obj10 obj9 obj4)
		(t obj10 obj9 obj7)
		(t obj10 obj9 obj9)
		(t obj10 obj9 obj11)
		(t obj10 obj9 obj15)
		(t obj10 obj9 obj19)
		(t obj10 obj9 obj22)
		(t obj10 obj10 obj1)
		(t obj10 obj10 obj9)
		(t obj10 obj10 obj10)
		(t obj10 obj10 obj13)
		(t obj10 obj10 obj15)
		(t obj10 obj10 max)
		(t obj10 obj11 obj3)
		(t obj10 obj11 obj8)
		(t obj10 obj11 obj9)
		(t obj10 obj11 obj10)
		(t obj10 obj11 max)
		(t obj10 obj12 obj9)
		(t obj10 obj12 obj10)
		(t obj10 obj12 obj16)
		(t obj10 obj12 obj17)
		(t obj10 obj12 obj23)
		(t obj10 obj13 obj1)
		(t obj10 obj13 obj7)
		(t obj10 obj13 obj11)
		(t obj10 obj13 obj16)
		(t obj10 obj13 obj17)
		(t obj10 obj13 obj19)
		(t obj10 obj14 obj1)
		(t obj10 obj14 obj4)
		(t obj10 obj14 obj7)
		(t obj10 obj14 obj8)
		(t obj10 obj14 obj14)
		(t obj10 obj14 obj21)
		(t obj10 obj15 obj1)
		(t obj10 obj15 obj2)
		(t obj10 obj15 obj4)
		(t obj10 obj15 obj13)
		(t obj10 obj15 obj17)
		(t obj10 obj15 obj18)
		(t obj10 obj15 obj19)
		(t obj10 obj15 obj20)
		(t obj10 obj16 obj12)
		(t obj10 obj16 obj18)
		(t obj10 obj16 obj19)
		(t obj10 obj16 obj23)
		(t obj10 obj17 obj1)
		(t obj10 obj17 obj3)
		(t obj10 obj17 obj7)
		(t obj10 obj17 obj16)
		(t obj10 obj17 obj17)
		(t obj10 obj17 obj18)
		(t obj10 obj17 max)
		(t obj10 obj18 obj3)
		(t obj10 obj18 obj7)
		(t obj10 obj18 obj12)
		(t obj10 obj18 obj13)
		(t obj10 obj18 obj20)
		(t obj10 obj18 obj22)
		(t obj10 obj19 zero)
		(t obj10 obj19 obj3)
		(t obj10 obj19 obj4)
		(t obj10 obj19 obj8)
		(t obj10 obj19 obj10)
		(t obj10 obj19 obj11)
		(t obj10 obj19 obj12)
		(t obj10 obj19 obj19)
		(t obj10 obj19 obj21)
		(t obj10 obj19 obj23)
		(t obj10 obj20 obj1)
		(t obj10 obj20 obj5)
		(t obj10 obj20 obj9)
		(t obj10 obj20 obj12)
		(t obj10 obj20 obj13)
		(t obj10 obj20 obj15)
		(t obj10 obj20 obj21)
		(t obj10 obj21 obj5)
		(t obj10 obj21 obj7)
		(t obj10 obj21 obj12)
		(t obj10 obj21 obj18)
		(t obj10 obj21 obj23)
		(t obj10 obj22 obj18)
		(t obj10 obj22 obj19)
		(t obj10 obj22 obj21)
		(t obj10 obj23 obj3)
		(t obj10 obj23 obj5)
		(t obj10 obj23 obj6)
		(t obj10 obj23 obj12)
		(t obj10 obj23 obj13)
		(t obj10 obj23 obj14)
		(t obj10 obj23 obj16)
		(t obj10 obj23 obj19)
		(t obj10 max obj16)
		(t obj10 max obj21)
		(t obj11 zero obj3)
		(t obj11 zero obj4)
		(t obj11 zero obj5)
		(t obj11 zero obj10)
		(t obj11 zero obj22)
		(t obj11 zero obj23)
		(t obj11 obj1 zero)
		(t obj11 obj1 obj5)
		(t obj11 obj1 obj6)
		(t obj11 obj1 obj7)
		(t obj11 obj1 obj9)
		(t obj11 obj1 obj22)
		(t obj11 obj2 zero)
		(t obj11 obj2 obj6)
		(t obj11 obj2 obj10)
		(t obj11 obj2 obj11)
		(t obj11 obj2 obj15)
		(t obj11 obj2 obj21)
		(t obj11 obj3 zero)
		(t obj11 obj3 obj5)
		(t obj11 obj3 obj11)
		(t obj11 obj3 obj22)
		(t obj11 obj4 obj3)
		(t obj11 obj4 obj6)
		(t obj11 obj4 obj8)
		(t obj11 obj4 obj11)
		(t obj11 obj4 obj12)
		(t obj11 obj5 obj4)
		(t obj11 obj5 obj6)
		(t obj11 obj5 obj9)
		(t obj11 obj5 obj12)
		(t obj11 obj5 obj16)
		(t obj11 obj5 obj17)
		(t obj11 obj5 obj19)
		(t obj11 obj5 max)
		(t obj11 obj6 zero)
		(t obj11 obj6 obj4)
		(t obj11 obj6 obj6)
		(t obj11 obj6 obj9)
		(t obj11 obj6 obj10)
		(t obj11 obj6 obj12)
		(t obj11 obj6 obj13)
		(t obj11 obj6 obj19)
		(t obj11 obj6 max)
		(t obj11 obj7 zero)
		(t obj11 obj7 obj4)
		(t obj11 obj7 obj8)
		(t obj11 obj7 obj16)
		(t obj11 obj7 obj23)
		(t obj11 obj8 obj1)
		(t obj11 obj8 obj9)
		(t obj11 obj8 obj12)
		(t obj11 obj8 obj19)
		(t obj11 obj8 obj20)
		(t obj11 obj8 obj21)
		(t obj11 obj8 obj23)
		(t obj11 obj9 obj1)
		(t obj11 obj9 obj10)
		(t obj11 obj9 obj11)
		(t obj11 obj9 obj15)
		(t obj11 obj9 obj19)
		(t obj11 obj10 obj5)
		(t obj11 obj10 obj6)
		(t obj11 obj10 obj14)
		(t obj11 obj10 obj17)
		(t obj11 obj10 obj21)
		(t obj11 obj10 obj23)
		(t obj11 obj11 obj3)
		(t obj11 obj11 obj4)
		(t obj11 obj11 obj5)
		(t obj11 obj11 obj9)
		(t obj11 obj11 obj11)
		(t obj11 obj11 obj13)
		(t obj11 obj11 obj23)
		(t obj11 obj12 zero)
		(t obj11 obj12 obj4)
		(t obj11 obj12 obj6)
		(t obj11 obj12 obj23)
		(t obj11 obj12 max)
		(t obj11 obj13 obj1)
		(t obj11 obj13 obj2)
		(t obj11 obj13 obj6)
		(t obj11 obj13 obj10)
		(t obj11 obj13 obj14)
		(t obj11 obj13 obj18)
		(t obj11 obj13 obj21)
		(t obj11 obj14 obj6)
		(t obj11 obj14 obj9)
		(t obj11 obj14 obj10)
		(t obj11 obj14 obj11)
		(t obj11 obj14 obj13)
		(t obj11 obj14 obj14)
		(t obj11 obj14 obj16)
		(t obj11 obj14 obj19)
		(t obj11 obj14 obj20)
		(t obj11 obj14 obj22)
		(t obj11 obj15 obj2)
		(t obj11 obj15 obj6)
		(t obj11 obj15 obj7)
		(t obj11 obj15 obj10)
		(t obj11 obj15 obj13)
		(t obj11 obj15 obj16)
		(t obj11 obj15 obj23)
		(t obj11 obj15 max)
		(t obj11 obj16 obj3)
		(t obj11 obj16 obj5)
		(t obj11 obj16 obj7)
		(t obj11 obj16 obj16)
		(t obj11 obj16 obj18)
		(t obj11 obj16 obj20)
		(t obj11 obj16 obj21)
		(t obj11 obj17 obj3)
		(t obj11 obj17 obj5)
		(t obj11 obj17 obj6)
		(t obj11 obj17 obj7)
		(t obj11 obj17 obj8)
		(t obj11 obj17 obj12)
		(t obj11 obj17 obj13)
		(t obj11 obj17 obj16)
		(t obj11 obj17 obj17)
		(t obj11 obj17 obj20)
		(t obj11 obj17 obj22)
		(t obj11 obj18 obj14)
		(t obj11 obj18 obj17)
		(t obj11 obj18 obj19)
		(t obj11 obj19 obj9)
		(t obj11 obj19 obj13)
		(t obj11 obj19 obj15)
		(t obj11 obj19 obj16)
		(t obj11 obj19 obj22)
		(t obj11 obj19 obj23)
		(t obj11 obj20 obj7)
		(t obj11 obj20 obj8)
		(t obj11 obj20 obj9)
		(t obj11 obj20 obj21)
		(t obj11 obj21 zero)
		(t obj11 obj21 obj9)
		(t obj11 obj21 obj13)
		(t obj11 obj21 obj14)
		(t obj11 obj21 obj16)
		(t obj11 obj21 obj21)
		(t obj11 obj22 obj4)
		(t obj11 obj22 obj6)
		(t obj11 obj22 obj7)
		(t obj11 obj22 obj11)
		(t obj11 obj22 obj14)
		(t obj11 obj22 obj23)
		(t obj11 obj23 zero)
		(t obj11 obj23 obj1)
		(t obj11 obj23 obj2)
		(t obj11 obj23 obj7)
		(t obj11 obj23 obj15)
		(t obj11 obj23 obj21)
		(t obj11 max obj1)
		(t obj11 max obj5)
		(t obj11 max obj8)
		(t obj11 max obj10)
		(t obj11 max obj14)
		(t obj11 max obj16)
		(t obj11 max obj17)
		(t obj11 max obj18)
		(t obj11 max obj19)
		(t obj11 max max)
		(t obj12 zero obj2)
		(t obj12 zero obj8)
		(t obj12 zero obj9)
		(t obj12 zero obj10)
		(t obj12 zero obj16)
		(t obj12 zero obj22)
		(t obj12 zero obj23)
		(t obj12 zero max)
		(t obj12 obj1 obj3)
		(t obj12 obj1 obj4)
		(t obj12 obj1 obj9)
		(t obj12 obj1 obj14)
		(t obj12 obj1 obj19)
		(t obj12 obj1 obj20)
		(t obj12 obj1 obj22)
		(t obj12 obj1 obj23)
		(t obj12 obj2 obj5)
		(t obj12 obj2 obj13)
		(t obj12 obj2 obj18)
		(t obj12 obj3 obj4)
		(t obj12 obj3 obj12)
		(t obj12 obj3 obj13)
		(t obj12 obj3 obj15)
		(t obj12 obj3 obj21)
		(t obj12 obj4 obj1)
		(t obj12 obj4 obj2)
		(t obj12 obj4 obj4)
		(t obj12 obj4 obj16)
		(t obj12 obj4 obj18)
		(t obj12 obj4 max)
		(t obj12 obj5 zero)
		(t obj12 obj5 obj5)
		(t obj12 obj5 obj9)
		(t obj12 obj5 obj10)
		(t obj12 obj5 obj13)
		(t obj12 obj5 obj19)
		(t obj12 obj5 obj23)
		(t obj12 obj6 obj1)
		(t obj12 obj6 obj2)
		(t obj12 obj6 obj7)
		(t obj12 obj6 obj9)
		(t obj12 obj6 obj11)
		(t obj12 obj6 obj13)
		(t obj12 obj6 obj18)
		(t obj12 obj6 obj23)
		(t obj12 obj7 zero)
		(t obj12 obj7 obj12)
		(t obj12 obj7 obj13)
		(t obj12 obj7 obj16)
		(t obj12 obj7 obj22)
		(t obj12 obj8 obj1)
		(t obj12 obj8 obj7)
		(t obj12 obj8 obj9)
		(t obj12 obj8 obj18)
		(t obj12 obj8 obj20)
		(t obj12 obj8 max)
		(t obj12 obj9 obj14)
		(t obj12 obj9 obj20)
		(t obj12 obj10 obj1)
		(t obj12 obj10 obj9)
		(t obj12 obj10 obj11)
		(t obj12 obj10 obj18)
		(t obj12 obj10 obj21)
		(t obj12 obj11 obj6)
		(t obj12 obj11 obj10)
		(t obj12 obj11 obj11)
		(t obj12 obj11 obj16)
		(t obj12 obj11 obj18)
		(t obj12 obj11 obj21)
		(t obj12 obj12 obj8)
		(t obj12 obj12 obj15)
		(t obj12 obj12 obj16)
		(t obj12 obj12 obj18)
		(t obj12 obj13 obj6)
		(t obj12 obj13 obj7)
		(t obj12 obj13 obj11)
		(t obj12 obj13 obj13)
		(t obj12 obj13 obj15)
		(t obj12 obj13 obj17)
		(t obj12 obj14 obj2)
		(t obj12 obj14 obj3)
		(t obj12 obj14 obj7)
		(t obj12 obj15 zero)
		(t obj12 obj15 obj1)
		(t obj12 obj15 obj2)
		(t obj12 obj15 obj3)
		(t obj12 obj15 obj4)
		(t obj12 obj15 obj8)
		(t obj12 obj15 obj9)
		(t obj12 obj15 obj10)
		(t obj12 obj15 obj11)
		(t obj12 obj15 obj21)
		(t obj12 obj16 obj1)
		(t obj12 obj16 obj8)
		(t obj12 obj16 obj9)
		(t obj12 obj16 obj17)
		(t obj12 obj16 obj18)
		(t obj12 obj17 zero)
		(t obj12 obj17 obj3)
		(t obj12 obj17 obj11)
		(t obj12 obj17 obj15)
		(t obj12 obj17 obj19)
		(t obj12 obj17 obj20)
		(t obj12 obj17 obj23)
		(t obj12 obj18 zero)
		(t obj12 obj18 obj1)
		(t obj12 obj18 obj4)
		(t obj12 obj18 obj11)
		(t obj12 obj18 obj16)
		(t obj12 obj18 obj22)
		(t obj12 obj18 obj23)
		(t obj12 obj19 zero)
		(t obj12 obj19 obj2)
		(t obj12 obj19 obj3)
		(t obj12 obj19 obj4)
		(t obj12 obj19 obj10)
		(t obj12 obj19 obj14)
		(t obj12 obj19 obj17)
		(t obj12 obj19 obj19)
		(t obj12 obj19 obj21)
		(t obj12 obj19 obj23)
		(t obj12 obj21 zero)
		(t obj12 obj21 obj1)
		(t obj12 obj21 obj3)
		(t obj12 obj21 obj5)
		(t obj12 obj21 obj7)
		(t obj12 obj21 obj8)
		(t obj12 obj21 obj20)
		(t obj12 obj22 obj1)
		(t obj12 obj22 obj2)
		(t obj12 obj22 obj6)
		(t obj12 obj22 obj11)
		(t obj12 obj22 obj20)
		(t obj12 obj23 obj1)
		(t obj12 obj23 obj6)
		(t obj12 obj23 obj7)
		(t obj12 obj23 obj8)
		(t obj12 obj23 obj9)
		(t obj12 obj23 obj12)
		(t obj12 obj23 obj15)
		(t obj12 obj23 obj19)
		(t obj12 obj23 obj21)
		(t obj12 obj23 max)
		(t obj12 max obj6)
		(t obj12 max obj7)
		(t obj12 max obj10)
		(t obj12 max max)
		(t obj13 zero obj1)
		(t obj13 zero obj7)
		(t obj13 zero obj9)
		(t obj13 zero obj10)
		(t obj13 zero obj12)
		(t obj13 zero obj14)
		(t obj13 zero obj15)
		(t obj13 zero obj17)
		(t obj13 zero max)
		(t obj13 obj1 obj4)
		(t obj13 obj1 obj6)
		(t obj13 obj1 obj7)
		(t obj13 obj1 obj13)
		(t obj13 obj1 obj17)
		(t obj13 obj1 obj22)
		(t obj13 obj2 zero)
		(t obj13 obj2 obj8)
		(t obj13 obj2 obj13)
		(t obj13 obj2 obj14)
		(t obj13 obj2 obj21)
		(t obj13 obj2 max)
		(t obj13 obj3 obj6)
		(t obj13 obj3 obj13)
		(t obj13 obj3 obj15)
		(t obj13 obj4 obj4)
		(t obj13 obj4 obj13)
		(t obj13 obj4 obj16)
		(t obj13 obj4 obj18)
		(t obj13 obj4 obj21)
		(t obj13 obj5 obj7)
		(t obj13 obj5 obj8)
		(t obj13 obj5 obj10)
		(t obj13 obj5 obj12)
		(t obj13 obj5 obj15)
		(t obj13 obj5 obj19)
		(t obj13 obj6 zero)
		(t obj13 obj6 obj4)
		(t obj13 obj6 obj5)
		(t obj13 obj6 obj7)
		(t obj13 obj6 obj8)
		(t obj13 obj6 obj10)
		(t obj13 obj6 obj12)
		(t obj13 obj7 obj4)
		(t obj13 obj7 obj9)
		(t obj13 obj7 obj14)
		(t obj13 obj8 zero)
		(t obj13 obj8 obj1)
		(t obj13 obj8 obj4)
		(t obj13 obj8 obj11)
		(t obj13 obj8 obj12)
		(t obj13 obj8 obj14)
		(t obj13 obj8 obj18)
		(t obj13 obj8 obj19)
		(t obj13 obj8 obj21)
		(t obj13 obj8 obj22)
		(t obj13 obj8 obj23)
		(t obj13 obj9 obj1)
		(t obj13 obj9 obj7)
		(t obj13 obj9 obj8)
		(t obj13 obj9 obj10)
		(t obj13 obj9 obj13)
		(t obj13 obj9 obj14)
		(t obj13 obj9 obj16)
		(t obj13 obj9 obj19)
		(t obj13 obj9 obj21)
		(t obj13 obj10 obj1)
		(t obj13 obj10 obj11)
		(t obj13 obj10 obj12)
		(t obj13 obj10 obj16)
		(t obj13 obj11 obj2)
		(t obj13 obj11 obj13)
		(t obj13 obj11 obj20)
		(t obj13 obj12 obj4)
		(t obj13 obj12 obj6)
		(t obj13 obj12 obj7)
		(t obj13 obj12 obj9)
		(t obj13 obj12 obj11)
		(t obj13 obj12 obj14)
		(t obj13 obj12 obj17)
		(t obj13 obj12 max)
		(t obj13 obj13 obj3)
		(t obj13 obj13 obj7)
		(t obj13 obj13 obj9)
		(t obj13 obj13 obj14)
		(t obj13 obj13 obj15)
		(t obj13 obj13 obj16)
		(t obj13 obj13 obj18)
		(t obj13 obj13 obj19)
		(t obj13 obj13 obj20)
		(t obj13 obj14 zero)
		(t obj13 obj14 obj1)
		(t obj13 obj14 obj4)
		(t obj13 obj14 obj9)
		(t obj13 obj14 obj10)
		(t obj13 obj14 obj14)
		(t obj13 obj14 obj16)
		(t obj13 obj14 obj19)
		(t obj13 obj14 obj21)
		(t obj13 obj15 obj2)
		(t obj13 obj15 obj3)
		(t obj13 obj15 obj6)
		(t obj13 obj15 obj17)
		(t obj13 obj15 obj22)
		(t obj13 obj16 obj3)
		(t obj13 obj16 obj8)
		(t obj13 obj16 obj13)
		(t obj13 obj16 obj21)
		(t obj13 obj17 zero)
		(t obj13 obj17 obj1)
		(t obj13 obj17 obj10)
		(t obj13 obj17 obj12)
		(t obj13 obj17 obj15)
		(t obj13 obj17 obj19)
		(t obj13 obj17 obj22)
		(t obj13 obj18 obj1)
		(t obj13 obj18 obj2)
		(t obj13 obj18 obj3)
		(t obj13 obj18 obj11)
		(t obj13 obj18 obj13)
		(t obj13 obj18 obj14)
		(t obj13 obj18 obj16)
		(t obj13 obj18 obj20)
		(t obj13 obj18 obj21)
		(t obj13 obj18 max)
		(t obj13 obj19 obj3)
		(t obj13 obj19 obj4)
		(t obj13 obj19 obj5)
		(t obj13 obj19 obj9)
		(t obj13 obj19 obj20)
		(t obj13 obj20 obj5)
		(t obj13 obj20 obj7)
		(t obj13 obj20 obj8)
		(t obj13 obj20 obj9)
		(t obj13 obj20 obj12)
		(t obj13 obj20 obj14)
		(t obj13 obj20 obj22)
		(t obj13 obj21 obj1)
		(t obj13 obj21 obj2)
		(t obj13 obj21 obj6)
		(t obj13 obj21 obj16)
		(t obj13 obj21 obj17)
		(t obj13 obj21 obj19)
		(t obj13 obj22 obj3)
		(t obj13 obj22 obj7)
		(t obj13 obj22 obj19)
		(t obj13 obj23 obj2)
		(t obj13 obj23 obj4)
		(t obj13 obj23 obj5)
		(t obj13 obj23 obj8)
		(t obj13 obj23 obj10)
		(t obj13 obj23 obj12)
		(t obj13 obj23 obj13)
		(t obj13 obj23 obj16)
		(t obj13 obj23 obj21)
		(t obj13 max obj8)
		(t obj13 max obj9)
		(t obj13 max obj10)
		(t obj13 max obj17)
		(t obj13 max obj20)
		(t obj13 max obj22)
		(t obj13 max obj23)
		(t obj14 zero obj1)
		(t obj14 zero obj6)
		(t obj14 zero obj7)
		(t obj14 zero obj10)
		(t obj14 zero obj15)
		(t obj14 zero obj17)
		(t obj14 zero obj18)
		(t obj14 zero obj19)
		(t obj14 zero obj22)
		(t obj14 zero max)
		(t obj14 obj1 obj5)
		(t obj14 obj1 obj7)
		(t obj14 obj1 obj16)
		(t obj14 obj1 obj18)
		(t obj14 obj2 obj4)
		(t obj14 obj2 obj6)
		(t obj14 obj2 obj14)
		(t obj14 obj2 obj15)
		(t obj14 obj2 obj18)
		(t obj14 obj3 obj9)
		(t obj14 obj3 obj10)
		(t obj14 obj3 obj19)
		(t obj14 obj4 obj2)
		(t obj14 obj4 obj8)
		(t obj14 obj4 obj9)
		(t obj14 obj4 obj10)
		(t obj14 obj4 obj13)
		(t obj14 obj4 obj15)
		(t obj14 obj4 obj16)
		(t obj14 obj4 obj19)
		(t obj14 obj5 obj3)
		(t obj14 obj5 obj13)
		(t obj14 obj6 obj6)
		(t obj14 obj6 obj11)
		(t obj14 obj6 obj14)
		(t obj14 obj6 obj18)
		(t obj14 obj6 obj19)
		(t obj14 obj6 obj22)
		(t obj14 obj7 obj5)
		(t obj14 obj7 obj12)
		(t obj14 obj7 obj14)
		(t obj14 obj7 obj20)
		(t obj14 obj7 obj23)
		(t obj14 obj8 obj7)
		(t obj14 obj8 obj8)
		(t obj14 obj8 obj9)
		(t obj14 obj8 obj14)
		(t obj14 obj8 obj15)
		(t obj14 obj8 obj16)
		(t obj14 obj8 obj18)
		(t obj14 obj9 obj1)
		(t obj14 obj9 obj5)
		(t obj14 obj9 obj6)
		(t obj14 obj9 obj10)
		(t obj14 obj9 obj12)
		(t obj14 obj9 obj16)
		(t obj14 obj10 zero)
		(t obj14 obj10 obj20)
		(t obj14 obj10 obj23)
		(t obj14 obj11 obj2)
		(t obj14 obj11 obj8)
		(t obj14 obj12 obj6)
		(t obj14 obj12 obj9)
		(t obj14 obj12 obj17)
		(t obj14 obj12 obj21)
		(t obj14 obj13 obj6)
		(t obj14 obj13 obj20)
		(t obj14 obj14 obj12)
		(t obj14 obj14 obj22)
		(t obj14 obj15 obj3)
		(t obj14 obj15 obj4)
		(t obj14 obj15 obj7)
		(t obj14 obj15 obj16)
		(t obj14 obj15 obj23)
		(t obj14 obj16 obj5)
		(t obj14 obj16 obj10)
		(t obj14 obj16 obj14)
		(t obj14 obj16 obj15)
		(t obj14 obj16 obj19)
		(t obj14 obj17 zero)
		(t obj14 obj17 obj1)
		(t obj14 obj17 obj4)
		(t obj14 obj17 obj5)
		(t obj14 obj17 obj7)
		(t obj14 obj17 obj10)
		(t obj14 obj17 obj12)
		(t obj14 obj17 obj13)
		(t obj14 obj18 obj7)
		(t obj14 obj18 obj10)
		(t obj14 obj18 obj15)
		(t obj14 obj18 obj17)
		(t obj14 obj18 obj20)
		(t obj14 obj18 obj21)
		(t obj14 obj19 obj4)
		(t obj14 obj19 obj7)
		(t obj14 obj19 obj9)
		(t obj14 obj19 obj13)
		(t obj14 obj19 obj22)
		(t obj14 obj20 obj2)
		(t obj14 obj20 obj5)
		(t obj14 obj20 obj6)
		(t obj14 obj20 max)
		(t obj14 obj21 obj2)
		(t obj14 obj21 obj9)
		(t obj14 obj21 obj11)
		(t obj14 obj21 obj13)
		(t obj14 obj21 obj14)
		(t obj14 obj21 obj15)
		(t obj14 obj21 obj16)
		(t obj14 obj21 obj20)
		(t obj14 obj21 obj23)
		(t obj14 obj21 max)
		(t obj14 obj22 zero)
		(t obj14 obj22 obj2)
		(t obj14 obj22 obj4)
		(t obj14 obj22 obj8)
		(t obj14 obj22 obj10)
		(t obj14 obj22 obj15)
		(t obj14 obj23 zero)
		(t obj14 obj23 obj1)
		(t obj14 obj23 obj2)
		(t obj14 obj23 obj9)
		(t obj14 obj23 obj16)
		(t obj14 obj23 obj18)
		(t obj14 max obj7)
		(t obj14 max obj10)
		(t obj14 max obj11)
		(t obj14 max obj12)
		(t obj14 max obj14)
		(t obj14 max obj20)
		(t obj15 zero obj1)
		(t obj15 zero obj9)
		(t obj15 zero obj12)
		(t obj15 zero obj13)
		(t obj15 obj1 obj4)
		(t obj15 obj1 obj5)
		(t obj15 obj1 obj7)
		(t obj15 obj1 obj19)
		(t obj15 obj1 obj21)
		(t obj15 obj1 obj22)
		(t obj15 obj1 max)
		(t obj15 obj2 obj2)
		(t obj15 obj2 obj12)
		(t obj15 obj2 obj16)
		(t obj15 obj2 obj18)
		(t obj15 obj2 obj20)
		(t obj15 obj2 obj22)
		(t obj15 obj2 max)
		(t obj15 obj3 obj2)
		(t obj15 obj3 obj6)
		(t obj15 obj3 obj10)
		(t obj15 obj3 obj13)
		(t obj15 obj3 obj17)
		(t obj15 obj3 obj18)
		(t obj15 obj3 obj23)
		(t obj15 obj3 max)
		(t obj15 obj4 obj2)
		(t obj15 obj4 obj4)
		(t obj15 obj4 obj12)
		(t obj15 obj4 obj13)
		(t obj15 obj4 obj15)
		(t obj15 obj4 obj17)
		(t obj15 obj4 obj18)
		(t obj15 obj4 obj23)
		(t obj15 obj5 obj4)
		(t obj15 obj5 obj7)
		(t obj15 obj5 obj11)
		(t obj15 obj5 obj16)
		(t obj15 obj5 obj22)
		(t obj15 obj6 obj3)
		(t obj15 obj6 obj20)
		(t obj15 obj6 obj22)
		(t obj15 obj6 obj23)
		(t obj15 obj7 zero)
		(t obj15 obj7 obj7)
		(t obj15 obj7 obj9)
		(t obj15 obj7 obj10)
		(t obj15 obj7 obj12)
		(t obj15 obj8 obj2)
		(t obj15 obj8 obj13)
		(t obj15 obj8 obj14)
		(t obj15 obj8 obj16)
		(t obj15 obj8 obj19)
		(t obj15 obj8 obj20)
		(t obj15 obj8 obj23)
		(t obj15 obj8 max)
		(t obj15 obj9 obj10)
		(t obj15 obj9 obj14)
		(t obj15 obj9 obj17)
		(t obj15 obj9 obj21)
		(t obj15 obj9 obj23)
		(t obj15 obj10 zero)
		(t obj15 obj10 obj7)
		(t obj15 obj10 obj8)
		(t obj15 obj10 obj17)
		(t obj15 obj10 obj23)
		(t obj15 obj11 obj3)
		(t obj15 obj11 obj9)
		(t obj15 obj11 obj15)
		(t obj15 obj11 obj16)
		(t obj15 obj11 obj23)
		(t obj15 obj12 obj1)
		(t obj15 obj12 obj3)
		(t obj15 obj12 obj9)
		(t obj15 obj12 obj12)
		(t obj15 obj12 obj14)
		(t obj15 obj12 obj15)
		(t obj15 obj12 obj20)
		(t obj15 obj13 obj4)
		(t obj15 obj13 obj10)
		(t obj15 obj13 obj13)
		(t obj15 obj14 obj6)
		(t obj15 obj14 obj20)
		(t obj15 obj15 obj14)
		(t obj15 obj15 obj20)
		(t obj15 obj16 obj3)
		(t obj15 obj16 obj4)
		(t obj15 obj16 obj8)
		(t obj15 obj16 obj9)
		(t obj15 obj16 obj10)
		(t obj15 obj16 obj12)
		(t obj15 obj16 obj16)
		(t obj15 obj16 obj20)
		(t obj15 obj16 obj22)
		(t obj15 obj16 max)
		(t obj15 obj17 zero)
		(t obj15 obj17 obj6)
		(t obj15 obj17 obj17)
		(t obj15 obj17 obj21)
		(t obj15 obj17 max)
		(t obj15 obj18 obj4)
		(t obj15 obj18 obj6)
		(t obj15 obj18 obj10)
		(t obj15 obj18 obj14)
		(t obj15 obj18 max)
		(t obj15 obj19 obj3)
		(t obj15 obj19 obj4)
		(t obj15 obj19 obj6)
		(t obj15 obj19 obj8)
		(t obj15 obj19 obj12)
		(t obj15 obj19 obj13)
		(t obj15 obj19 obj15)
		(t obj15 obj19 max)
		(t obj15 obj20 obj7)
		(t obj15 obj20 obj13)
		(t obj15 obj20 obj20)
		(t obj15 obj20 obj23)
		(t obj15 obj21 obj3)
		(t obj15 obj21 obj7)
		(t obj15 obj21 obj8)
		(t obj15 obj21 obj17)
		(t obj15 obj21 obj21)
		(t obj15 obj22 zero)
		(t obj15 obj22 obj2)
		(t obj15 obj22 obj22)
		(t obj15 obj23 zero)
		(t obj15 obj23 obj5)
		(t obj15 obj23 obj6)
		(t obj15 obj23 obj8)
		(t obj15 max obj5)
		(t obj15 max obj8)
		(t obj15 max obj15)
		(t obj15 max obj18)
		(t obj15 max obj22)
		(t obj15 max obj23)
		(t obj15 max max)
		(t obj16 zero obj6)
		(t obj16 zero obj9)
		(t obj16 zero obj11)
		(t obj16 zero obj16)
		(t obj16 zero obj23)
		(t obj16 obj1 obj5)
		(t obj16 obj1 obj6)
		(t obj16 obj1 obj8)
		(t obj16 obj1 obj9)
		(t obj16 obj1 obj11)
		(t obj16 obj1 obj17)
		(t obj16 obj1 obj18)
		(t obj16 obj2 zero)
		(t obj16 obj2 obj6)
		(t obj16 obj2 obj7)
		(t obj16 obj2 obj8)
		(t obj16 obj2 obj13)
		(t obj16 obj2 obj16)
		(t obj16 obj2 obj18)
		(t obj16 obj2 obj23)
		(t obj16 obj2 max)
		(t obj16 obj3 obj5)
		(t obj16 obj3 obj8)
		(t obj16 obj3 obj10)
		(t obj16 obj3 obj11)
		(t obj16 obj3 obj12)
		(t obj16 obj3 obj15)
		(t obj16 obj3 obj21)
		(t obj16 obj4 obj3)
		(t obj16 obj4 obj7)
		(t obj16 obj4 obj8)
		(t obj16 obj4 obj11)
		(t obj16 obj4 obj14)
		(t obj16 obj4 obj18)
		(t obj16 obj4 obj21)
		(t obj16 obj5 zero)
		(t obj16 obj5 obj5)
		(t obj16 obj5 obj11)
		(t obj16 obj5 obj12)
		(t obj16 obj5 obj14)
		(t obj16 obj5 obj21)
		(t obj16 obj6 obj3)
		(t obj16 obj6 obj11)
		(t obj16 obj6 obj15)
		(t obj16 obj6 obj16)
		(t obj16 obj6 obj18)
		(t obj16 obj6 obj21)
		(t obj16 obj6 max)
		(t obj16 obj7 obj1)
		(t obj16 obj7 obj2)
		(t obj16 obj7 obj7)
		(t obj16 obj7 obj8)
		(t obj16 obj7 obj21)
		(t obj16 obj8 zero)
		(t obj16 obj8 obj5)
		(t obj16 obj8 obj6)
		(t obj16 obj8 obj9)
		(t obj16 obj8 obj10)
		(t obj16 obj8 obj15)
		(t obj16 obj8 obj17)
		(t obj16 obj9 obj3)
		(t obj16 obj9 obj10)
		(t obj16 obj9 obj18)
		(t obj16 obj9 obj19)
		(t obj16 obj10 obj6)
		(t obj16 obj10 obj7)
		(t obj16 obj10 obj9)
		(t obj16 obj10 obj12)
		(t obj16 obj10 obj15)
		(t obj16 obj10 obj16)
		(t obj16 obj10 obj18)
		(t obj16 obj10 obj20)
		(t obj16 obj10 max)
		(t obj16 obj11 obj9)
		(t obj16 obj11 obj10)
		(t obj16 obj11 obj15)
		(t obj16 obj11 obj18)
		(t obj16 obj12 obj10)
		(t obj16 obj12 obj11)
		(t obj16 obj12 obj13)
		(t obj16 obj13 obj2)
		(t obj16 obj13 obj3)
		(t obj16 obj13 obj4)
		(t obj16 obj13 obj6)
		(t obj16 obj13 obj9)
		(t obj16 obj13 obj16)
		(t obj16 obj13 obj21)
		(t obj16 obj13 obj22)
		(t obj16 obj13 max)
		(t obj16 obj14 obj2)
		(t obj16 obj14 obj9)
		(t obj16 obj14 obj10)
		(t obj16 obj14 obj11)
		(t obj16 obj14 obj15)
		(t obj16 obj14 obj20)
		(t obj16 obj14 obj21)
		(t obj16 obj14 obj22)
		(t obj16 obj14 max)
		(t obj16 obj15 obj2)
		(t obj16 obj16 obj2)
		(t obj16 obj16 obj9)
		(t obj16 obj16 obj12)
		(t obj16 obj16 obj13)
		(t obj16 obj16 obj14)
		(t obj16 obj16 obj20)
		(t obj16 obj16 obj21)
		(t obj16 obj17 obj2)
		(t obj16 obj17 obj6)
		(t obj16 obj17 obj13)
		(t obj16 obj17 obj14)
		(t obj16 obj17 obj17)
		(t obj16 obj17 obj21)
		(t obj16 obj18 zero)
		(t obj16 obj18 obj7)
		(t obj16 obj18 obj11)
		(t obj16 obj18 obj12)
		(t obj16 obj18 obj18)
		(t obj16 obj18 obj20)
		(t obj16 obj19 obj16)
		(t obj16 obj19 obj18)
		(t obj16 obj19 obj19)
		(t obj16 obj20 obj3)
		(t obj16 obj20 obj4)
		(t obj16 obj20 obj8)
		(t obj16 obj20 obj9)
		(t obj16 obj20 obj14)
		(t obj16 obj20 obj18)
		(t obj16 obj20 obj21)
		(t obj16 obj20 obj22)
		(t obj16 obj21 obj4)
		(t obj16 obj21 obj13)
		(t obj16 obj21 obj18)
		(t obj16 obj21 obj20)
		(t obj16 obj22 obj4)
		(t obj16 obj23 obj3)
		(t obj16 obj23 obj7)
		(t obj16 obj23 obj15)
		(t obj16 max zero)
		(t obj16 max obj1)
		(t obj16 max obj5)
		(t obj16 max obj7)
		(t obj16 max obj12)
		(t obj16 max obj13)
		(t obj16 max obj16)
		(t obj17 zero obj1)
		(t obj17 zero obj2)
		(t obj17 zero obj5)
		(t obj17 zero obj7)
		(t obj17 zero obj14)
		(t obj17 zero obj15)
		(t obj17 zero obj18)
		(t obj17 obj1 obj5)
		(t obj17 obj1 obj8)
		(t obj17 obj1 obj16)
		(t obj17 obj1 obj17)
		(t obj17 obj1 obj23)
		(t obj17 obj2 obj4)
		(t obj17 obj2 obj11)
		(t obj17 obj2 obj13)
		(t obj17 obj2 obj15)
		(t obj17 obj2 obj17)
		(t obj17 obj2 obj18)
		(t obj17 obj2 max)
		(t obj17 obj3 obj4)
		(t obj17 obj3 obj7)
		(t obj17 obj3 obj13)
		(t obj17 obj3 obj20)
		(t obj17 obj4 obj5)
		(t obj17 obj4 obj7)
		(t obj17 obj4 obj10)
		(t obj17 obj4 obj13)
		(t obj17 obj4 obj14)
		(t obj17 obj4 obj17)
		(t obj17 obj5 obj2)
		(t obj17 obj5 obj3)
		(t obj17 obj5 obj6)
		(t obj17 obj5 obj7)
		(t obj17 obj5 obj9)
		(t obj17 obj5 obj10)
		(t obj17 obj5 obj11)
		(t obj17 obj5 obj12)
		(t obj17 obj5 obj20)
		(t obj17 obj5 obj22)
		(t obj17 obj5 max)
		(t obj17 obj6 obj1)
		(t obj17 obj6 obj14)
		(t obj17 obj6 obj23)
		(t obj17 obj6 max)
		(t obj17 obj7 obj1)
		(t obj17 obj7 obj4)
		(t obj17 obj7 obj6)
		(t obj17 obj7 obj11)
		(t obj17 obj7 obj17)
		(t obj17 obj7 obj20)
		(t obj17 obj7 obj22)
		(t obj17 obj8 zero)
		(t obj17 obj8 obj7)
		(t obj17 obj8 obj9)
		(t obj17 obj8 obj13)
		(t obj17 obj8 obj20)
		(t obj17 obj8 obj22)
		(t obj17 obj8 max)
		(t obj17 obj9 obj2)
		(t obj17 obj9 obj3)
		(t obj17 obj9 obj9)
		(t obj17 obj9 obj12)
		(t obj17 obj9 obj15)
		(t obj17 obj9 obj22)
		(t obj17 obj10 obj2)
		(t obj17 obj10 obj4)
		(t obj17 obj10 obj5)
		(t obj17 obj10 obj6)
		(t obj17 obj10 obj13)
		(t obj17 obj10 obj17)
		(t obj17 obj10 obj21)
		(t obj17 obj11 obj3)
		(t obj17 obj11 obj15)
		(t obj17 obj11 obj18)
		(t obj17 obj11 obj20)
		(t obj17 obj12 zero)
		(t obj17 obj12 obj3)
		(t obj17 obj12 obj5)
		(t obj17 obj12 obj6)
		(t obj17 obj12 obj9)
		(t obj17 obj12 obj12)
		(t obj17 obj12 obj13)
		(t obj17 obj12 obj17)
		(t obj17 obj12 obj20)
		(t obj17 obj12 max)
		(t obj17 obj13 obj1)
		(t obj17 obj13 obj2)
		(t obj17 obj13 obj3)
		(t obj17 obj13 obj5)
		(t obj17 obj13 obj7)
		(t obj17 obj13 obj9)
		(t obj17 obj13 obj17)
		(t obj17 obj13 obj19)
		(t obj17 obj13 obj21)
		(t obj17 obj14 obj1)
		(t obj17 obj14 obj12)
		(t obj17 obj14 obj19)
		(t obj17 obj14 obj21)
		(t obj17 obj15 obj3)
		(t obj17 obj15 obj12)
		(t obj17 obj15 obj13)
		(t obj17 obj15 obj17)
		(t obj17 obj15 obj21)
		(t obj17 obj15 obj22)
		(t obj17 obj15 obj23)
		(t obj17 obj16 obj3)
		(t obj17 obj16 obj5)
		(t obj17 obj16 obj7)
		(t obj17 obj16 obj10)
		(t obj17 obj16 obj11)
		(t obj17 obj16 max)
		(t obj17 obj17 obj8)
		(t obj17 obj17 obj20)
		(t obj17 obj17 max)
		(t obj17 obj18 obj1)
		(t obj17 obj18 obj3)
		(t obj17 obj18 obj5)
		(t obj17 obj18 obj8)
		(t obj17 obj18 obj12)
		(t obj17 obj18 obj18)
		(t obj17 obj18 obj23)
		(t obj17 obj19 obj1)
		(t obj17 obj19 obj5)
		(t obj17 obj19 obj7)
		(t obj17 obj19 obj8)
		(t obj17 obj19 obj9)
		(t obj17 obj19 obj10)
		(t obj17 obj19 obj19)
		(t obj17 obj19 obj23)
		(t obj17 obj19 max)
		(t obj17 obj20 obj5)
		(t obj17 obj20 obj9)
		(t obj17 obj20 obj13)
		(t obj17 obj20 obj16)
		(t obj17 obj20 obj19)
		(t obj17 obj20 obj23)
		(t obj17 obj20 max)
		(t obj17 obj21 obj1)
		(t obj17 obj21 obj2)
		(t obj17 obj21 obj3)
		(t obj17 obj21 obj5)
		(t obj17 obj21 obj11)
		(t obj17 obj21 max)
		(t obj17 obj22 zero)
		(t obj17 obj22 obj1)
		(t obj17 obj22 obj6)
		(t obj17 obj22 obj8)
		(t obj17 obj22 obj13)
		(t obj17 obj22 obj16)
		(t obj17 obj22 obj19)
		(t obj17 obj22 obj20)
		(t obj17 obj23 obj5)
		(t obj17 obj23 obj6)
		(t obj17 obj23 obj7)
		(t obj17 obj23 obj8)
		(t obj17 obj23 obj16)
		(t obj17 obj23 obj18)
		(t obj17 obj23 obj19)
		(t obj17 obj23 obj20)
		(t obj17 obj23 obj21)
		(t obj17 obj23 obj22)
		(t obj17 obj23 obj23)
		(t obj17 max obj2)
		(t obj17 max obj3)
		(t obj17 max obj10)
		(t obj17 max obj11)
		(t obj17 max obj14)
		(t obj17 max obj15)
		(t obj17 max obj21)
		(t obj17 max max)
		(t obj18 zero obj16)
		(t obj18 zero obj17)
		(t obj18 zero obj18)
		(t obj18 zero obj19)
		(t obj18 obj1 zero)
		(t obj18 obj1 obj11)
		(t obj18 obj1 obj19)
		(t obj18 obj1 max)
		(t obj18 obj2 obj5)
		(t obj18 obj2 obj6)
		(t obj18 obj2 obj8)
		(t obj18 obj2 obj16)
		(t obj18 obj2 obj17)
		(t obj18 obj2 obj19)
		(t obj18 obj2 obj23)
		(t obj18 obj3 zero)
		(t obj18 obj3 obj2)
		(t obj18 obj3 obj4)
		(t obj18 obj3 obj9)
		(t obj18 obj3 obj10)
		(t obj18 obj3 obj15)
		(t obj18 obj3 obj16)
		(t obj18 obj3 obj22)
		(t obj18 obj4 obj6)
		(t obj18 obj4 obj9)
		(t obj18 obj4 obj15)
		(t obj18 obj5 obj12)
		(t obj18 obj5 obj13)
		(t obj18 obj5 obj14)
		(t obj18 obj5 obj19)
		(t obj18 obj5 obj22)
		(t obj18 obj6 obj4)
		(t obj18 obj6 obj5)
		(t obj18 obj6 obj9)
		(t obj18 obj6 obj13)
		(t obj18 obj6 obj18)
		(t obj18 obj7 zero)
		(t obj18 obj7 obj2)
		(t obj18 obj7 obj3)
		(t obj18 obj7 obj4)
		(t obj18 obj7 obj7)
		(t obj18 obj7 obj8)
		(t obj18 obj7 obj16)
		(t obj18 obj7 obj17)
		(t obj18 obj7 obj21)
		(t obj18 obj7 max)
		(t obj18 obj8 obj2)
		(t obj18 obj8 obj3)
		(t obj18 obj8 obj6)
		(t obj18 obj8 obj7)
		(t obj18 obj8 obj8)
		(t obj18 obj8 obj9)
		(t obj18 obj8 obj10)
		(t obj18 obj8 obj12)
		(t obj18 obj8 obj14)
		(t obj18 obj8 obj17)
		(t obj18 obj8 obj18)
		(t obj18 obj8 obj19)
		(t obj18 obj8 obj20)
		(t obj18 obj8 obj22)
		(t obj18 obj9 obj5)
		(t obj18 obj9 obj6)
		(t obj18 obj9 obj7)
		(t obj18 obj9 obj8)
		(t obj18 obj9 obj10)
		(t obj18 obj9 obj12)
		(t obj18 obj9 obj19)
		(t obj18 obj9 obj20)
		(t obj18 obj9 max)
		(t obj18 obj10 zero)
		(t obj18 obj10 obj5)
		(t obj18 obj10 obj6)
		(t obj18 obj10 obj8)
		(t obj18 obj10 obj17)
		(t obj18 obj10 obj18)
		(t obj18 obj10 obj19)
		(t obj18 obj10 max)
		(t obj18 obj11 obj2)
		(t obj18 obj11 obj12)
		(t obj18 obj11 obj17)
		(t obj18 obj12 obj10)
		(t obj18 obj12 obj15)
		(t obj18 obj12 obj16)
		(t obj18 obj12 obj17)
		(t obj18 obj12 obj21)
		(t obj18 obj13 obj2)
		(t obj18 obj13 obj7)
		(t obj18 obj13 obj12)
		(t obj18 obj13 obj14)
		(t obj18 obj13 obj15)
		(t obj18 obj13 obj20)
		(t obj18 obj13 obj22)
		(t obj18 obj14 obj1)
		(t obj18 obj14 obj9)
		(t obj18 obj14 obj13)
		(t obj18 obj14 obj14)
		(t obj18 obj14 obj16)
		(t obj18 obj15 obj8)
		(t obj18 obj15 obj9)
		(t obj18 obj15 obj19)
		(t obj18 obj15 obj20)
		(t obj18 obj15 obj21)
		(t obj18 obj15 obj23)
		(t obj18 obj16 obj5)
		(t obj18 obj16 obj10)
		(t obj18 obj16 obj13)
		(t obj18 obj16 obj14)
		(t obj18 obj16 obj15)
		(t obj18 obj16 obj16)
		(t obj18 obj16 obj20)
		(t obj18 obj16 obj23)
		(t obj18 obj16 max)
		(t obj18 obj17 obj2)
		(t obj18 obj17 obj3)
		(t obj18 obj17 obj5)
		(t obj18 obj17 obj7)
		(t obj18 obj17 obj8)
		(t obj18 obj17 obj12)
		(t obj18 obj17 obj14)
		(t obj18 obj17 obj16)
		(t obj18 obj17 obj22)
		(t obj18 obj18 zero)
		(t obj18 obj18 obj3)
		(t obj18 obj18 obj6)
		(t obj18 obj18 obj7)
		(t obj18 obj18 obj9)
		(t obj18 obj18 obj12)
		(t obj18 obj18 obj14)
		(t obj18 obj18 obj15)
		(t obj18 obj18 max)
		(t obj18 obj19 obj3)
		(t obj18 obj19 obj5)
		(t obj18 obj19 obj6)
		(t obj18 obj19 obj7)
		(t obj18 obj19 obj17)
		(t obj18 obj19 max)
		(t obj18 obj20 zero)
		(t obj18 obj20 obj13)
		(t obj18 obj20 obj15)
		(t obj18 obj20 obj17)
		(t obj18 obj20 obj20)
		(t obj18 obj20 obj21)
		(t obj18 obj21 zero)
		(t obj18 obj21 obj3)
		(t obj18 obj21 obj5)
		(t obj18 obj21 obj8)
		(t obj18 obj21 obj15)
		(t obj18 obj21 obj20)
		(t obj18 obj22 zero)
		(t obj18 obj22 obj2)
		(t obj18 obj22 obj3)
		(t obj18 obj22 obj5)
		(t obj18 obj22 obj7)
		(t obj18 obj22 obj13)
		(t obj18 obj22 obj20)
		(t obj18 obj22 obj21)
		(t obj18 obj23 zero)
		(t obj18 obj23 obj12)
		(t obj18 obj23 obj19)
		(t obj18 obj23 obj22)
		(t obj18 obj23 max)
		(t obj18 max obj1)
		(t obj18 max obj4)
		(t obj18 max obj9)
		(t obj18 max obj11)
		(t obj18 max obj12)
		(t obj18 max obj16)
		(t obj18 max obj17)
		(t obj18 max obj21)
		(t obj18 max obj22)
		(t obj19 zero obj1)
		(t obj19 zero obj4)
		(t obj19 zero obj5)
		(t obj19 zero obj11)
		(t obj19 zero obj18)
		(t obj19 zero obj20)
		(t obj19 obj1 obj1)
		(t obj19 obj1 obj3)
		(t obj19 obj1 obj8)
		(t obj19 obj1 obj12)
		(t obj19 obj1 obj16)
		(t obj19 obj1 obj19)
		(t obj19 obj2 zero)
		(t obj19 obj2 obj3)
		(t obj19 obj2 obj9)
		(t obj19 obj2 obj10)
		(t obj19 obj2 obj14)
		(t obj19 obj2 obj19)
		(t obj19 obj2 obj22)
		(t obj19 obj3 obj8)
		(t obj19 obj3 obj12)
		(t obj19 obj3 obj13)
		(t obj19 obj3 obj15)
		(t obj19 obj4 obj8)
		(t obj19 obj4 obj10)
		(t obj19 obj4 obj12)
		(t obj19 obj4 obj15)
		(t obj19 obj4 obj20)
		(t obj19 obj4 obj22)
		(t obj19 obj5 obj7)
		(t obj19 obj5 obj8)
		(t obj19 obj5 obj9)
		(t obj19 obj5 obj14)
		(t obj19 obj5 obj16)
		(t obj19 obj5 max)
		(t obj19 obj6 zero)
		(t obj19 obj6 obj3)
		(t obj19 obj6 obj5)
		(t obj19 obj6 obj8)
		(t obj19 obj6 obj10)
		(t obj19 obj6 obj12)
		(t obj19 obj6 obj18)
		(t obj19 obj6 obj21)
		(t obj19 obj6 obj22)
		(t obj19 obj6 obj23)
		(t obj19 obj7 obj4)
		(t obj19 obj7 obj7)
		(t obj19 obj7 obj13)
		(t obj19 obj7 obj20)
		(t obj19 obj7 obj21)
		(t obj19 obj7 obj22)
		(t obj19 obj7 obj23)
		(t obj19 obj7 max)
		(t obj19 obj8 obj4)
		(t obj19 obj8 obj8)
		(t obj19 obj8 obj11)
		(t obj19 obj9 obj1)
		(t obj19 obj9 obj4)
		(t obj19 obj9 obj6)
		(t obj19 obj9 obj10)
		(t obj19 obj9 obj13)
		(t obj19 obj9 obj18)
		(t obj19 obj9 obj21)
		(t obj19 obj10 obj19)
		(t obj19 obj11 zero)
		(t obj19 obj11 obj9)
		(t obj19 obj11 obj16)
		(t obj19 obj11 obj17)
		(t obj19 obj11 obj19)
		(t obj19 obj11 obj20)
		(t obj19 obj12 zero)
		(t obj19 obj12 obj2)
		(t obj19 obj12 obj6)
		(t obj19 obj12 obj9)
		(t obj19 obj12 obj15)
		(t obj19 obj12 obj17)
		(t obj19 obj12 obj19)
		(t obj19 obj13 obj3)
		(t obj19 obj13 obj4)
		(t obj19 obj13 obj8)
		(t obj19 obj13 obj11)
		(t obj19 obj13 obj13)
		(t obj19 obj13 obj15)
		(t obj19 obj13 obj18)
		(t obj19 obj13 obj19)
		(t obj19 obj13 obj20)
		(t obj19 obj13 obj21)
		(t obj19 obj14 obj2)
		(t obj19 obj14 obj3)
		(t obj19 obj14 obj6)
		(t obj19 obj14 obj7)
		(t obj19 obj14 obj13)
		(t obj19 obj14 obj18)
		(t obj19 obj14 obj21)
		(t obj19 obj15 zero)
		(t obj19 obj15 obj1)
		(t obj19 obj15 obj4)
		(t obj19 obj15 obj6)
		(t obj19 obj15 obj7)
		(t obj19 obj15 obj9)
		(t obj19 obj15 obj13)
		(t obj19 obj15 obj16)
		(t obj19 obj15 obj18)
		(t obj19 obj15 obj20)
		(t obj19 obj15 obj21)
		(t obj19 obj16 obj14)
		(t obj19 obj16 obj15)
		(t obj19 obj16 obj22)
		(t obj19 obj17 obj11)
		(t obj19 obj17 obj15)
		(t obj19 obj17 obj18)
		(t obj19 obj17 obj21)
		(t obj19 obj18 zero)
		(t obj19 obj18 obj7)
		(t obj19 obj18 obj11)
		(t obj19 obj18 obj13)
		(t obj19 obj18 obj15)
		(t obj19 obj18 obj18)
		(t obj19 obj18 obj21)
		(t obj19 obj18 obj23)
		(t obj19 obj19 obj4)
		(t obj19 obj19 obj7)
		(t obj19 obj19 obj9)
		(t obj19 obj19 obj11)
		(t obj19 obj19 obj13)
		(t obj19 obj19 obj15)
		(t obj19 obj19 obj20)
		(t obj19 obj19 obj23)
		(t obj19 obj20 obj1)
		(t obj19 obj20 obj6)
		(t obj19 obj20 obj8)
		(t obj19 obj20 obj11)
		(t obj19 obj20 obj12)
		(t obj19 obj20 obj14)
		(t obj19 obj20 obj16)
		(t obj19 obj20 obj18)
		(t obj19 obj20 obj23)
		(t obj19 obj21 obj6)
		(t obj19 obj21 obj13)
		(t obj19 obj21 obj16)
		(t obj19 obj21 obj17)
		(t obj19 obj21 obj18)
		(t obj19 obj21 obj19)
		(t obj19 obj22 zero)
		(t obj19 obj22 obj1)
		(t obj19 obj22 obj12)
		(t obj19 obj22 obj16)
		(t obj19 obj22 obj17)
		(t obj19 obj22 obj23)
		(t obj19 obj23 obj6)
		(t obj19 obj23 obj13)
		(t obj19 obj23 obj15)
		(t obj19 obj23 obj20)
		(t obj19 max obj1)
		(t obj19 max obj3)
		(t obj19 max obj4)
		(t obj19 max obj16)
		(t obj19 max obj22)
		(t obj19 max max)
		(t obj20 zero obj4)
		(t obj20 zero obj8)
		(t obj20 zero obj14)
		(t obj20 zero obj20)
		(t obj20 obj1 obj5)
		(t obj20 obj1 obj12)
		(t obj20 obj1 obj18)
		(t obj20 obj1 obj19)
		(t obj20 obj1 obj20)
		(t obj20 obj1 obj23)
		(t obj20 obj1 max)
		(t obj20 obj2 obj1)
		(t obj20 obj2 obj6)
		(t obj20 obj2 obj9)
		(t obj20 obj2 obj16)
		(t obj20 obj2 obj19)
		(t obj20 obj2 obj21)
		(t obj20 obj3 zero)
		(t obj20 obj3 obj4)
		(t obj20 obj3 obj6)
		(t obj20 obj3 obj7)
		(t obj20 obj3 obj9)
		(t obj20 obj3 obj10)
		(t obj20 obj3 obj13)
		(t obj20 obj3 obj15)
		(t obj20 obj3 obj16)
		(t obj20 obj3 obj17)
		(t obj20 obj3 obj18)
		(t obj20 obj3 obj21)
		(t obj20 obj3 obj22)
		(t obj20 obj3 obj23)
		(t obj20 obj4 obj1)
		(t obj20 obj4 obj3)
		(t obj20 obj4 obj5)
		(t obj20 obj4 obj7)
		(t obj20 obj4 obj8)
		(t obj20 obj4 obj15)
		(t obj20 obj4 obj21)
		(t obj20 obj5 obj1)
		(t obj20 obj5 obj5)
		(t obj20 obj5 obj8)
		(t obj20 obj5 obj9)
		(t obj20 obj5 obj10)
		(t obj20 obj5 obj12)
		(t obj20 obj5 obj20)
		(t obj20 obj5 obj21)
		(t obj20 obj6 obj3)
		(t obj20 obj6 obj4)
		(t obj20 obj6 obj5)
		(t obj20 obj6 obj10)
		(t obj20 obj6 obj11)
		(t obj20 obj6 obj18)
		(t obj20 obj6 obj20)
		(t obj20 obj6 obj21)
		(t obj20 obj6 obj22)
		(t obj20 obj6 max)
		(t obj20 obj7 obj3)
		(t obj20 obj7 obj13)
		(t obj20 obj7 obj14)
		(t obj20 obj7 obj16)
		(t obj20 obj7 obj17)
		(t obj20 obj7 max)
		(t obj20 obj8 obj10)
		(t obj20 obj8 obj19)
		(t obj20 obj8 obj21)
		(t obj20 obj9 obj4)
		(t obj20 obj9 obj11)
		(t obj20 obj9 obj17)
		(t obj20 obj9 obj18)
		(t obj20 obj9 obj21)
		(t obj20 obj9 max)
		(t obj20 obj10 zero)
		(t obj20 obj10 obj3)
		(t obj20 obj10 obj9)
		(t obj20 obj10 obj15)
		(t obj20 obj11 zero)
		(t obj20 obj11 obj3)
		(t obj20 obj11 obj16)
		(t obj20 obj11 obj18)
		(t obj20 obj11 obj22)
		(t obj20 obj11 obj23)
		(t obj20 obj12 obj1)
		(t obj20 obj12 obj3)
		(t obj20 obj12 obj7)
		(t obj20 obj12 obj10)
		(t obj20 obj12 obj11)
		(t obj20 obj12 obj12)
		(t obj20 obj12 obj15)
		(t obj20 obj12 obj17)
		(t obj20 obj12 obj21)
		(t obj20 obj12 obj22)
		(t obj20 obj12 obj23)
		(t obj20 obj13 obj2)
		(t obj20 obj13 obj4)
		(t obj20 obj13 obj13)
		(t obj20 obj13 obj22)
		(t obj20 obj13 obj23)
		(t obj20 obj14 obj5)
		(t obj20 obj14 obj13)
		(t obj20 obj14 obj16)
		(t obj20 obj14 obj18)
		(t obj20 obj14 obj23)
		(t obj20 obj15 obj7)
		(t obj20 obj15 obj10)
		(t obj20 obj15 obj11)
		(t obj20 obj15 obj13)
		(t obj20 obj15 obj19)
		(t obj20 obj15 max)
		(t obj20 obj16 zero)
		(t obj20 obj16 obj2)
		(t obj20 obj16 obj3)
		(t obj20 obj16 obj8)
		(t obj20 obj16 obj12)
		(t obj20 obj16 obj14)
		(t obj20 obj16 obj23)
		(t obj20 obj16 max)
		(t obj20 obj17 zero)
		(t obj20 obj17 obj1)
		(t obj20 obj17 obj2)
		(t obj20 obj17 obj4)
		(t obj20 obj17 obj7)
		(t obj20 obj17 obj10)
		(t obj20 obj17 obj13)
		(t obj20 obj17 obj16)
		(t obj20 obj17 obj20)
		(t obj20 obj17 obj21)
		(t obj20 obj17 max)
		(t obj20 obj18 zero)
		(t obj20 obj18 obj6)
		(t obj20 obj18 obj13)
		(t obj20 obj18 obj18)
		(t obj20 obj18 obj20)
		(t obj20 obj18 obj23)
		(t obj20 obj19 obj3)
		(t obj20 obj19 obj6)
		(t obj20 obj19 obj10)
		(t obj20 obj20 obj9)
		(t obj20 obj20 obj13)
		(t obj20 obj20 obj14)
		(t obj20 obj20 obj18)
		(t obj20 obj21 zero)
		(t obj20 obj21 obj1)
		(t obj20 obj21 obj2)
		(t obj20 obj21 obj4)
		(t obj20 obj21 obj11)
		(t obj20 obj21 obj15)
		(t obj20 obj21 obj17)
		(t obj20 obj21 obj19)
		(t obj20 obj21 obj20)
		(t obj20 obj21 obj23)
		(t obj20 obj22 zero)
		(t obj20 obj22 obj3)
		(t obj20 obj22 obj12)
		(t obj20 obj22 obj15)
		(t obj20 obj22 obj19)
		(t obj20 obj22 obj20)
		(t obj20 obj22 obj21)
		(t obj20 obj22 obj22)
		(t obj20 obj23 obj4)
		(t obj20 obj23 obj15)
		(t obj20 obj23 obj16)
		(t obj20 obj23 obj19)
		(t obj20 obj23 obj20)
		(t obj20 max zero)
		(t obj20 max obj20)
		(t obj20 max obj21)
		(t obj20 max max)
		(t obj21 zero obj1)
		(t obj21 zero obj2)
		(t obj21 zero obj7)
		(t obj21 zero obj8)
		(t obj21 zero obj13)
		(t obj21 zero obj15)
		(t obj21 zero obj20)
		(t obj21 obj1 obj7)
		(t obj21 obj1 obj8)
		(t obj21 obj1 obj15)
		(t obj21 obj1 obj18)
		(t obj21 obj2 obj1)
		(t obj21 obj2 obj6)
		(t obj21 obj2 obj9)
		(t obj21 obj2 obj11)
		(t obj21 obj2 obj13)
		(t obj21 obj2 obj18)
		(t obj21 obj2 obj19)
		(t obj21 obj2 obj21)
		(t obj21 obj2 max)
		(t obj21 obj3 obj2)
		(t obj21 obj3 obj3)
		(t obj21 obj3 obj5)
		(t obj21 obj3 obj6)
		(t obj21 obj3 obj7)
		(t obj21 obj3 obj10)
		(t obj21 obj3 obj13)
		(t obj21 obj3 obj16)
		(t obj21 obj3 obj21)
		(t obj21 obj3 obj22)
		(t obj21 obj4 obj4)
		(t obj21 obj4 obj8)
		(t obj21 obj4 obj9)
		(t obj21 obj4 obj10)
		(t obj21 obj4 obj15)
		(t obj21 obj4 obj16)
		(t obj21 obj4 obj20)
		(t obj21 obj4 obj22)
		(t obj21 obj4 max)
		(t obj21 obj5 obj10)
		(t obj21 obj5 obj12)
		(t obj21 obj5 obj13)
		(t obj21 obj5 obj16)
		(t obj21 obj5 obj21)
		(t obj21 obj6 obj4)
		(t obj21 obj6 obj5)
		(t obj21 obj6 obj6)
		(t obj21 obj6 obj7)
		(t obj21 obj6 obj9)
		(t obj21 obj6 obj13)
		(t obj21 obj6 obj22)
		(t obj21 obj6 max)
		(t obj21 obj7 obj9)
		(t obj21 obj7 obj13)
		(t obj21 obj8 obj2)
		(t obj21 obj8 obj3)
		(t obj21 obj8 obj8)
		(t obj21 obj8 obj14)
		(t obj21 obj8 obj15)
		(t obj21 obj8 obj19)
		(t obj21 obj8 obj21)
		(t obj21 obj8 obj23)
		(t obj21 obj9 obj1)
		(t obj21 obj9 obj3)
		(t obj21 obj9 obj8)
		(t obj21 obj9 obj21)
		(t obj21 obj9 obj22)
		(t obj21 obj10 obj4)
		(t obj21 obj10 obj7)
		(t obj21 obj10 obj11)
		(t obj21 obj10 obj17)
		(t obj21 obj11 zero)
		(t obj21 obj11 obj3)
		(t obj21 obj11 obj10)
		(t obj21 obj11 obj12)
		(t obj21 obj11 obj15)
		(t obj21 obj11 obj21)
		(t obj21 obj12 obj2)
		(t obj21 obj12 obj4)
		(t obj21 obj12 obj5)
		(t obj21 obj12 obj7)
		(t obj21 obj12 obj8)
		(t obj21 obj12 obj11)
		(t obj21 obj12 obj12)
		(t obj21 obj12 obj15)
		(t obj21 obj12 obj22)
		(t obj21 obj13 obj2)
		(t obj21 obj13 obj5)
		(t obj21 obj13 obj7)
		(t obj21 obj13 obj9)
		(t obj21 obj13 obj15)
		(t obj21 obj13 obj17)
		(t obj21 obj13 obj22)
		(t obj21 obj13 max)
		(t obj21 obj14 zero)
		(t obj21 obj14 obj3)
		(t obj21 obj14 obj4)
		(t obj21 obj14 obj9)
		(t obj21 obj14 obj10)
		(t obj21 obj14 obj11)
		(t obj21 obj14 obj14)
		(t obj21 obj14 obj20)
		(t obj21 obj14 obj21)
		(t obj21 obj14 obj22)
		(t obj21 obj15 obj6)
		(t obj21 obj15 obj8)
		(t obj21 obj15 obj11)
		(t obj21 obj15 obj12)
		(t obj21 obj15 obj21)
		(t obj21 obj15 obj23)
		(t obj21 obj15 max)
		(t obj21 obj16 zero)
		(t obj21 obj16 obj3)
		(t obj21 obj16 obj7)
		(t obj21 obj16 obj11)
		(t obj21 obj16 obj16)
		(t obj21 obj16 obj18)
		(t obj21 obj16 obj19)
		(t obj21 obj16 obj21)
		(t obj21 obj16 obj23)
		(t obj21 obj17 obj1)
		(t obj21 obj17 obj12)
		(t obj21 obj17 obj20)
		(t obj21 obj17 obj23)
		(t obj21 obj17 max)
		(t obj21 obj18 obj1)
		(t obj21 obj18 obj6)
		(t obj21 obj18 obj7)
		(t obj21 obj18 obj10)
		(t obj21 obj18 obj14)
		(t obj21 obj18 obj20)
		(t obj21 obj18 obj21)
		(t obj21 obj19 obj14)
		(t obj21 obj19 obj18)
		(t obj21 obj19 obj20)
		(t obj21 obj20 obj7)
		(t obj21 obj20 obj8)
		(t obj21 obj20 obj12)
		(t obj21 obj20 obj16)
		(t obj21 obj20 obj18)
		(t obj21 obj20 obj22)
		(t obj21 obj21 obj2)
		(t obj21 obj21 obj3)
		(t obj21 obj21 obj6)
		(t obj21 obj21 obj10)
		(t obj21 obj21 obj12)
		(t obj21 obj21 obj19)
		(t obj21 obj21 obj22)
		(t obj21 obj21 obj23)
		(t obj21 obj22 obj3)
		(t obj21 obj22 obj7)
		(t obj21 obj22 obj19)
		(t obj21 obj22 obj22)
		(t obj21 obj23 obj5)
		(t obj21 obj23 obj6)
		(t obj21 obj23 obj12)
		(t obj21 obj23 obj13)
		(t obj21 obj23 obj16)
		(t obj21 obj23 obj18)
		(t obj21 obj23 obj19)
		(t obj21 obj23 max)
		(t obj21 max zero)
		(t obj21 max obj1)
		(t obj21 max obj2)
		(t obj21 max obj3)
		(t obj21 max obj4)
		(t obj21 max obj9)
		(t obj21 max obj10)
		(t obj21 max obj14)
		(t obj21 max obj19)
		(t obj21 max obj20)
		(t obj22 zero obj1)
		(t obj22 zero obj2)
		(t obj22 zero obj3)
		(t obj22 zero obj7)
		(t obj22 zero obj10)
		(t obj22 zero obj16)
		(t obj22 zero obj20)
		(t obj22 zero obj22)
		(t obj22 zero max)
		(t obj22 obj1 obj8)
		(t obj22 obj1 obj15)
		(t obj22 obj1 obj19)
		(t obj22 obj1 obj20)
		(t obj22 obj1 max)
		(t obj22 obj2 zero)
		(t obj22 obj2 obj3)
		(t obj22 obj2 obj7)
		(t obj22 obj2 obj8)
		(t obj22 obj2 obj17)
		(t obj22 obj3 zero)
		(t obj22 obj3 obj3)
		(t obj22 obj3 obj4)
		(t obj22 obj3 obj6)
		(t obj22 obj3 obj17)
		(t obj22 obj4 obj1)
		(t obj22 obj4 obj6)
		(t obj22 obj4 obj8)
		(t obj22 obj4 obj10)
		(t obj22 obj4 obj12)
		(t obj22 obj4 obj14)
		(t obj22 obj4 obj19)
		(t obj22 obj4 obj21)
		(t obj22 obj5 obj1)
		(t obj22 obj5 obj3)
		(t obj22 obj5 obj4)
		(t obj22 obj5 obj5)
		(t obj22 obj5 obj6)
		(t obj22 obj5 obj15)
		(t obj22 obj5 obj17)
		(t obj22 obj6 obj6)
		(t obj22 obj6 obj19)
		(t obj22 obj6 obj22)
		(t obj22 obj7 obj1)
		(t obj22 obj7 obj2)
		(t obj22 obj7 obj4)
		(t obj22 obj7 obj18)
		(t obj22 obj7 obj20)
		(t obj22 obj7 obj22)
		(t obj22 obj8 zero)
		(t obj22 obj8 obj2)
		(t obj22 obj9 obj1)
		(t obj22 obj9 obj7)
		(t obj22 obj9 obj10)
		(t obj22 obj9 obj14)
		(t obj22 obj9 obj21)
		(t obj22 obj10 obj2)
		(t obj22 obj10 obj4)
		(t obj22 obj10 obj5)
		(t obj22 obj10 obj8)
		(t obj22 obj10 obj10)
		(t obj22 obj10 obj13)
		(t obj22 obj10 obj15)
		(t obj22 obj10 obj16)
		(t obj22 obj11 obj6)
		(t obj22 obj11 obj12)
		(t obj22 obj11 obj14)
		(t obj22 obj11 obj21)
		(t obj22 obj12 obj6)
		(t obj22 obj12 obj16)
		(t obj22 obj12 obj21)
		(t obj22 obj12 max)
		(t obj22 obj13 obj5)
		(t obj22 obj13 obj8)
		(t obj22 obj13 obj10)
		(t obj22 obj13 obj12)
		(t obj22 obj13 obj14)
		(t obj22 obj13 obj16)
		(t obj22 obj13 obj20)
		(t obj22 obj13 obj23)
		(t obj22 obj14 obj7)
		(t obj22 obj14 obj11)
		(t obj22 obj14 obj13)
		(t obj22 obj14 obj14)
		(t obj22 obj15 obj2)
		(t obj22 obj15 obj4)
		(t obj22 obj15 obj6)
		(t obj22 obj15 obj9)
		(t obj22 obj15 obj11)
		(t obj22 obj15 obj19)
		(t obj22 obj15 obj21)
		(t obj22 obj16 zero)
		(t obj22 obj16 obj1)
		(t obj22 obj16 obj4)
		(t obj22 obj16 obj10)
		(t obj22 obj16 obj11)
		(t obj22 obj16 obj12)
		(t obj22 obj16 obj16)
		(t obj22 obj16 obj17)
		(t obj22 obj16 obj18)
		(t obj22 obj16 obj22)
		(t obj22 obj16 max)
		(t obj22 obj17 zero)
		(t obj22 obj17 obj2)
		(t obj22 obj17 obj4)
		(t obj22 obj17 obj10)
		(t obj22 obj17 obj13)
		(t obj22 obj17 obj18)
		(t obj22 obj17 obj23)
		(t obj22 obj18 zero)
		(t obj22 obj18 obj6)
		(t obj22 obj18 obj8)
		(t obj22 obj18 obj10)
		(t obj22 obj18 obj12)
		(t obj22 obj18 obj14)
		(t obj22 obj18 obj15)
		(t obj22 obj18 obj23)
		(t obj22 obj18 max)
		(t obj22 obj19 obj4)
		(t obj22 obj19 obj5)
		(t obj22 obj19 obj7)
		(t obj22 obj19 obj9)
		(t obj22 obj19 obj11)
		(t obj22 obj19 obj16)
		(t obj22 obj19 obj20)
		(t obj22 obj20 obj3)
		(t obj22 obj20 obj4)
		(t obj22 obj20 obj6)
		(t obj22 obj20 obj8)
		(t obj22 obj20 obj10)
		(t obj22 obj20 obj12)
		(t obj22 obj20 obj20)
		(t obj22 obj20 max)
		(t obj22 obj21 obj4)
		(t obj22 obj21 obj7)
		(t obj22 obj21 obj9)
		(t obj22 obj21 obj18)
		(t obj22 obj21 obj21)
		(t obj22 obj21 max)
		(t obj22 obj22 obj1)
		(t obj22 obj22 obj2)
		(t obj22 obj22 obj6)
		(t obj22 obj22 obj18)
		(t obj22 obj22 obj19)
		(t obj22 obj23 zero)
		(t obj22 obj23 obj2)
		(t obj22 obj23 obj3)
		(t obj22 obj23 obj4)
		(t obj22 obj23 obj7)
		(t obj22 obj23 obj18)
		(t obj22 obj23 obj20)
		(t obj22 obj23 obj22)
		(t obj22 obj23 max)
		(t obj22 max zero)
		(t obj22 max obj9)
		(t obj22 max obj12)
		(t obj22 max obj13)
		(t obj22 max obj17)
		(t obj22 max obj18)
		(t obj23 zero zero)
		(t obj23 zero obj3)
		(t obj23 zero obj8)
		(t obj23 zero obj10)
		(t obj23 zero obj11)
		(t obj23 zero obj19)
		(t obj23 zero max)
		(t obj23 obj1 zero)
		(t obj23 obj1 obj1)
		(t obj23 obj1 obj3)
		(t obj23 obj1 obj4)
		(t obj23 obj1 obj5)
		(t obj23 obj1 obj7)
		(t obj23 obj1 obj10)
		(t obj23 obj1 obj13)
		(t obj23 obj2 zero)
		(t obj23 obj2 obj1)
		(t obj23 obj2 obj4)
		(t obj23 obj2 obj6)
		(t obj23 obj2 obj8)
		(t obj23 obj2 obj10)
		(t obj23 obj2 obj19)
		(t obj23 obj2 obj21)
		(t obj23 obj2 obj23)
		(t obj23 obj2 max)
		(t obj23 obj3 obj2)
		(t obj23 obj3 obj3)
		(t obj23 obj3 obj8)
		(t obj23 obj3 obj11)
		(t obj23 obj3 obj12)
		(t obj23 obj3 obj18)
		(t obj23 obj3 obj19)
		(t obj23 obj3 obj23)
		(t obj23 obj3 max)
		(t obj23 obj4 obj2)
		(t obj23 obj4 obj3)
		(t obj23 obj4 obj4)
		(t obj23 obj4 obj6)
		(t obj23 obj4 obj7)
		(t obj23 obj4 obj8)
		(t obj23 obj4 obj13)
		(t obj23 obj4 obj16)
		(t obj23 obj4 obj17)
		(t obj23 obj4 obj20)
		(t obj23 obj5 obj6)
		(t obj23 obj5 obj13)
		(t obj23 obj5 obj19)
		(t obj23 obj5 obj20)
		(t obj23 obj5 obj22)
		(t obj23 obj5 max)
		(t obj23 obj6 zero)
		(t obj23 obj6 obj7)
		(t obj23 obj6 obj12)
		(t obj23 obj6 obj23)
		(t obj23 obj7 zero)
		(t obj23 obj7 obj3)
		(t obj23 obj7 obj15)
		(t obj23 obj7 obj21)
		(t obj23 obj7 obj23)
		(t obj23 obj7 max)
		(t obj23 obj8 obj5)
		(t obj23 obj8 obj8)
		(t obj23 obj8 obj12)
		(t obj23 obj8 obj16)
		(t obj23 obj8 obj19)
		(t obj23 obj8 obj23)
		(t obj23 obj9 obj8)
		(t obj23 obj9 obj12)
		(t obj23 obj9 obj19)
		(t obj23 obj9 obj20)
		(t obj23 obj10 obj9)
		(t obj23 obj10 obj10)
		(t obj23 obj10 obj15)
		(t obj23 obj10 obj16)
		(t obj23 obj10 obj21)
		(t obj23 obj10 max)
		(t obj23 obj11 obj4)
		(t obj23 obj11 obj16)
		(t obj23 obj11 max)
		(t obj23 obj12 zero)
		(t obj23 obj12 obj2)
		(t obj23 obj13 obj2)
		(t obj23 obj13 obj4)
		(t obj23 obj13 obj16)
		(t obj23 obj13 obj17)
		(t obj23 obj13 obj19)
		(t obj23 obj13 max)
		(t obj23 obj14 zero)
		(t obj23 obj14 obj7)
		(t obj23 obj14 obj11)
		(t obj23 obj14 obj13)
		(t obj23 obj15 obj4)
		(t obj23 obj15 obj8)
		(t obj23 obj15 obj9)
		(t obj23 obj15 obj10)
		(t obj23 obj15 obj13)
		(t obj23 obj15 obj21)
		(t obj23 obj16 obj5)
		(t obj23 obj16 obj13)
		(t obj23 obj16 obj18)
		(t obj23 obj16 obj20)
		(t obj23 obj16 obj22)
		(t obj23 obj17 obj5)
		(t obj23 obj17 obj6)
		(t obj23 obj17 obj7)
		(t obj23 obj17 obj16)
		(t obj23 obj17 obj20)
		(t obj23 obj18 zero)
		(t obj23 obj18 obj2)
		(t obj23 obj18 obj6)
		(t obj23 obj18 obj9)
		(t obj23 obj18 obj13)
		(t obj23 obj18 obj15)
		(t obj23 obj18 obj16)
		(t obj23 obj18 obj17)
		(t obj23 obj18 obj18)
		(t obj23 obj18 obj21)
		(t obj23 obj19 obj8)
		(t obj23 obj19 obj10)
		(t obj23 obj19 obj12)
		(t obj23 obj19 obj17)
		(t obj23 obj19 obj21)
		(t obj23 obj20 zero)
		(t obj23 obj20 obj3)
		(t obj23 obj20 obj5)
		(t obj23 obj20 obj6)
		(t obj23 obj20 obj10)
		(t obj23 obj20 obj12)
		(t obj23 obj20 obj16)
		(t obj23 obj20 obj17)
		(t obj23 obj20 obj20)
		(t obj23 obj20 max)
		(t obj23 obj21 obj3)
		(t obj23 obj21 obj5)
		(t obj23 obj21 obj6)
		(t obj23 obj21 obj8)
		(t obj23 obj21 obj10)
		(t obj23 obj21 obj11)
		(t obj23 obj21 obj12)
		(t obj23 obj21 obj23)
		(t obj23 obj22 obj1)
		(t obj23 obj22 obj7)
		(t obj23 obj22 obj9)
		(t obj23 obj22 obj20)
		(t obj23 obj22 max)
		(t obj23 obj23 obj1)
		(t obj23 obj23 obj12)
		(t obj23 obj23 obj14)
		(t obj23 obj23 obj18)
		(t obj23 max obj1)
		(t obj23 max obj4)
		(t obj23 max obj8)
		(t obj23 max obj12)
		(t obj23 max obj19)
		(t max zero obj4)
		(t max zero obj6)
		(t max zero obj10)
		(t max zero obj12)
		(t max zero obj19)
		(t max zero obj21)
		(t max zero max)
		(t max obj1 obj5)
		(t max obj1 obj8)
		(t max obj1 obj9)
		(t max obj1 obj14)
		(t max obj1 obj22)
		(t max obj1 max)
		(t max obj2 obj2)
		(t max obj2 obj11)
		(t max obj2 obj14)
		(t max obj2 obj17)
		(t max obj2 obj18)
		(t max obj2 obj19)
		(t max obj2 obj21)
		(t max obj2 max)
		(t max obj3 obj2)
		(t max obj3 obj10)
		(t max obj3 obj13)
		(t max obj3 obj14)
		(t max obj3 obj16)
		(t max obj3 obj18)
		(t max obj4 obj1)
		(t max obj4 obj3)
		(t max obj5 obj2)
		(t max obj5 obj3)
		(t max obj5 obj5)
		(t max obj5 obj6)
		(t max obj5 obj8)
		(t max obj5 obj10)
		(t max obj5 obj15)
		(t max obj5 obj18)
		(t max obj6 zero)
		(t max obj6 obj7)
		(t max obj6 obj13)
		(t max obj7 obj3)
		(t max obj7 obj5)
		(t max obj7 obj9)
		(t max obj7 obj10)
		(t max obj7 obj13)
		(t max obj7 obj21)
		(t max obj8 zero)
		(t max obj8 obj8)
		(t max obj8 obj13)
		(t max obj8 obj15)
		(t max obj8 obj17)
		(t max obj8 obj19)
		(t max obj9 zero)
		(t max obj9 obj1)
		(t max obj9 obj5)
		(t max obj9 obj6)
		(t max obj9 obj7)
		(t max obj9 obj11)
		(t max obj9 obj15)
		(t max obj9 obj17)
		(t max obj9 obj19)
		(t max obj9 obj23)
		(t max obj9 max)
		(t max obj10 zero)
		(t max obj10 obj6)
		(t max obj10 obj9)
		(t max obj10 obj14)
		(t max obj10 obj23)
		(t max obj11 zero)
		(t max obj11 obj2)
		(t max obj11 obj10)
		(t max obj11 obj11)
		(t max obj11 obj15)
		(t max obj11 obj18)
		(t max obj11 obj22)
		(t max obj11 max)
		(t max obj12 obj3)
		(t max obj12 obj7)
		(t max obj12 obj13)
		(t max obj12 obj14)
		(t max obj12 obj18)
		(t max obj12 obj19)
		(t max obj12 obj21)
		(t max obj13 obj4)
		(t max obj13 obj10)
		(t max obj13 obj23)
		(t max obj14 zero)
		(t max obj14 obj2)
		(t max obj14 obj3)
		(t max obj14 obj12)
		(t max obj14 obj13)
		(t max obj14 obj19)
		(t max obj15 obj6)
		(t max obj15 obj14)
		(t max obj15 obj16)
		(t max obj15 obj18)
		(t max obj16 obj10)
		(t max obj16 obj12)
		(t max obj16 obj13)
		(t max obj16 obj16)
		(t max obj16 obj19)
		(t max obj16 obj21)
		(t max obj17 obj9)
		(t max obj17 obj10)
		(t max obj17 obj15)
		(t max obj17 obj20)
		(t max obj17 obj21)
		(t max obj18 obj1)
		(t max obj18 obj4)
		(t max obj18 obj7)
		(t max obj18 obj10)
		(t max obj18 obj19)
		(t max obj18 obj23)
		(t max obj19 zero)
		(t max obj19 obj4)
		(t max obj19 obj7)
		(t max obj19 obj12)
		(t max obj19 obj17)
		(t max obj19 obj23)
		(t max obj20 obj3)
		(t max obj20 obj4)
		(t max obj20 obj7)
		(t max obj20 obj14)
		(t max obj20 obj17)
		(t max obj20 obj20)
		(t max obj20 obj21)
		(t max obj20 max)
		(t max obj21 zero)
		(t max obj21 obj1)
		(t max obj21 obj4)
		(t max obj21 obj10)
		(t max obj21 obj13)
		(t max obj21 obj14)
		(t max obj21 obj21)
		(t max obj22 obj3)
		(t max obj22 obj11)
		(t max obj22 obj13)
		(t max obj22 obj20)
		(t max obj23 obj7)
		(t max obj23 obj9)
		(t max obj23 obj11)
		(t max obj23 obj15)
		(t max obj23 obj18)
		(t max obj23 obj19)
		(t max obj23 obj20)
		(t max max obj6)
		(t max max obj7)
		(t max max obj12)
		(t max max obj19)
		(t max max obj23)
		(not_f zero zero)
		(not_f zero obj1)
		(not_f zero obj2)
		(not_f zero obj3)
		(not_f zero obj4)
		(not_f zero obj5)
		(not_f zero obj6)
		(not_f zero obj7)
		(not_f zero obj8)
		(not_f zero obj9)
		(not_f zero obj10)
		(not_f zero obj11)
		(not_f zero obj12)
		(not_f zero obj13)
		(not_f zero obj14)
		(not_f zero obj15)
		(not_f zero obj16)
		(not_f zero obj17)
		(not_f zero obj18)
		(not_f zero obj19)
		(not_f zero obj20)
		(not_f zero obj21)
		(not_f zero obj22)
		(not_f zero obj23)
		(not_f zero max)
		(not_f obj1 zero)
		(not_f obj1 obj1)
		(not_f obj1 obj2)
		(not_f obj1 obj3)
		(not_f obj1 obj4)
		(not_f obj1 obj5)
		(not_f obj1 obj6)
		(not_f obj1 obj7)
		(not_f obj1 obj8)
		(not_f obj1 obj9)
		(not_f obj1 obj10)
		(not_f obj1 obj11)
		(not_f obj1 obj12)
		(not_f obj1 obj13)
		(not_f obj1 obj14)
		(not_f obj1 obj15)
		(not_f obj1 obj16)
		(not_f obj1 obj17)
		(not_f obj1 obj18)
		(not_f obj1 obj19)
		(not_f obj1 obj20)
		(not_f obj1 obj21)
		(not_f obj1 obj22)
		(not_f obj1 obj23)
		(not_f obj1 max)
		(not_f obj2 zero)
		(not_f obj2 obj1)
		(not_f obj2 obj2)
		(not_f obj2 obj3)
		(not_f obj2 obj4)
		(not_f obj2 obj5)
		(not_f obj2 obj6)
		(not_f obj2 obj7)
		(not_f obj2 obj8)
		(not_f obj2 obj9)
		(not_f obj2 obj10)
		(not_f obj2 obj11)
		(not_f obj2 obj12)
		(not_f obj2 obj13)
		(not_f obj2 obj14)
		(not_f obj2 obj15)
		(not_f obj2 obj16)
		(not_f obj2 obj17)
		(not_f obj2 obj18)
		(not_f obj2 obj19)
		(not_f obj2 obj20)
		(not_f obj2 obj21)
		(not_f obj2 obj22)
		(not_f obj2 obj23)
		(not_f obj2 max)
		(not_f obj3 zero)
		(not_f obj3 obj1)
		(not_f obj3 obj2)
		(not_f obj3 obj3)
		(not_f obj3 obj4)
		(not_f obj3 obj5)
		(not_f obj3 obj6)
		(not_f obj3 obj7)
		(not_f obj3 obj8)
		(not_f obj3 obj9)
		(not_f obj3 obj10)
		(not_f obj3 obj11)
		(not_f obj3 obj12)
		(not_f obj3 obj13)
		(not_f obj3 obj14)
		(not_f obj3 obj15)
		(not_f obj3 obj16)
		(not_f obj3 obj17)
		(not_f obj3 obj18)
		(not_f obj3 obj19)
		(not_f obj3 obj20)
		(not_f obj3 obj21)
		(not_f obj3 obj22)
		(not_f obj3 obj23)
		(not_f obj3 max)
		(not_f obj4 zero)
		(not_f obj4 obj1)
		(not_f obj4 obj2)
		(not_f obj4 obj3)
		(not_f obj4 obj4)
		(not_f obj4 obj5)
		(not_f obj4 obj6)
		(not_f obj4 obj7)
		(not_f obj4 obj8)
		(not_f obj4 obj9)
		(not_f obj4 obj10)
		(not_f obj4 obj11)
		(not_f obj4 obj12)
		(not_f obj4 obj13)
		(not_f obj4 obj14)
		(not_f obj4 obj15)
		(not_f obj4 obj16)
		(not_f obj4 obj17)
		(not_f obj4 obj18)
		(not_f obj4 obj19)
		(not_f obj4 obj20)
		(not_f obj4 obj21)
		(not_f obj4 obj22)
		(not_f obj4 obj23)
		(not_f obj4 max)
		(not_f obj5 zero)
		(not_f obj5 obj1)
		(not_f obj5 obj2)
		(not_f obj5 obj3)
		(not_f obj5 obj4)
		(not_f obj5 obj5)
		(not_f obj5 obj6)
		(not_f obj5 obj7)
		(not_f obj5 obj8)
		(not_f obj5 obj9)
		(not_f obj5 obj10)
		(not_f obj5 obj11)
		(not_f obj5 obj12)
		(not_f obj5 obj13)
		(not_f obj5 obj14)
		(not_f obj5 obj15)
		(not_f obj5 obj16)
		(not_f obj5 obj17)
		(not_f obj5 obj18)
		(not_f obj5 obj19)
		(not_f obj5 obj20)
		(not_f obj5 obj21)
		(not_f obj5 obj22)
		(not_f obj5 obj23)
		(not_f obj5 max)
		(not_f obj6 zero)
		(not_f obj6 obj1)
		(not_f obj6 obj2)
		(not_f obj6 obj3)
		(not_f obj6 obj4)
		(not_f obj6 obj5)
		(not_f obj6 obj6)
		(not_f obj6 obj7)
		(not_f obj6 obj8)
		(not_f obj6 obj9)
		(not_f obj6 obj10)
		(not_f obj6 obj11)
		(not_f obj6 obj12)
		(not_f obj6 obj13)
		(not_f obj6 obj14)
		(not_f obj6 obj15)
		(not_f obj6 obj16)
		(not_f obj6 obj17)
		(not_f obj6 obj18)
		(not_f obj6 obj19)
		(not_f obj6 obj20)
		(not_f obj6 obj21)
		(not_f obj6 obj22)
		(not_f obj6 obj23)
		(not_f obj6 max)
		(not_f obj7 zero)
		(not_f obj7 obj1)
		(not_f obj7 obj2)
		(not_f obj7 obj3)
		(not_f obj7 obj4)
		(not_f obj7 obj5)
		(not_f obj7 obj6)
		(not_f obj7 obj7)
		(not_f obj7 obj8)
		(not_f obj7 obj9)
		(not_f obj7 obj10)
		(not_f obj7 obj11)
		(not_f obj7 obj12)
		(not_f obj7 obj13)
		(not_f obj7 obj14)
		(not_f obj7 obj15)
		(not_f obj7 obj16)
		(not_f obj7 obj17)
		(not_f obj7 obj18)
		(not_f obj7 obj19)
		(not_f obj7 obj20)
		(not_f obj7 obj21)
		(not_f obj7 obj22)
		(not_f obj7 obj23)
		(not_f obj7 max)
		(not_f obj8 zero)
		(not_f obj8 obj1)
		(not_f obj8 obj2)
		(not_f obj8 obj3)
		(not_f obj8 obj4)
		(not_f obj8 obj5)
		(not_f obj8 obj6)
		(not_f obj8 obj7)
		(not_f obj8 obj8)
		(not_f obj8 obj9)
		(not_f obj8 obj10)
		(not_f obj8 obj11)
		(not_f obj8 obj12)
		(not_f obj8 obj13)
		(not_f obj8 obj14)
		(not_f obj8 obj15)
		(not_f obj8 obj16)
		(not_f obj8 obj17)
		(not_f obj8 obj18)
		(not_f obj8 obj19)
		(not_f obj8 obj20)
		(not_f obj8 obj21)
		(not_f obj8 obj22)
		(not_f obj8 obj23)
		(not_f obj8 max)
		(not_f obj9 zero)
		(not_f obj9 obj1)
		(not_f obj9 obj2)
		(not_f obj9 obj3)
		(not_f obj9 obj4)
		(not_f obj9 obj5)
		(not_f obj9 obj6)
		(not_f obj9 obj7)
		(not_f obj9 obj8)
		(not_f obj9 obj9)
		(not_f obj9 obj10)
		(not_f obj9 obj11)
		(not_f obj9 obj12)
		(not_f obj9 obj13)
		(not_f obj9 obj14)
		(not_f obj9 obj15)
		(not_f obj9 obj16)
		(not_f obj9 obj17)
		(not_f obj9 obj18)
		(not_f obj9 obj19)
		(not_f obj9 obj20)
		(not_f obj9 obj21)
		(not_f obj9 obj22)
		(not_f obj9 obj23)
		(not_f obj9 max)
		(not_f obj10 zero)
		(not_f obj10 obj1)
		(not_f obj10 obj2)
		(not_f obj10 obj3)
		(not_f obj10 obj4)
		(not_f obj10 obj5)
		(not_f obj10 obj6)
		(not_f obj10 obj7)
		(not_f obj10 obj8)
		(not_f obj10 obj9)
		(not_f obj10 obj10)
		(not_f obj10 obj11)
		(not_f obj10 obj12)
		(not_f obj10 obj13)
		(not_f obj10 obj14)
		(not_f obj10 obj15)
		(not_f obj10 obj16)
		(not_f obj10 obj17)
		(not_f obj10 obj18)
		(not_f obj10 obj19)
		(not_f obj10 obj20)
		(not_f obj10 obj21)
		(not_f obj10 obj22)
		(not_f obj10 obj23)
		(not_f obj10 max)
		(not_f obj11 zero)
		(not_f obj11 obj1)
		(not_f obj11 obj2)
		(not_f obj11 obj3)
		(not_f obj11 obj4)
		(not_f obj11 obj5)
		(not_f obj11 obj6)
		(not_f obj11 obj7)
		(not_f obj11 obj8)
		(not_f obj11 obj9)
		(not_f obj11 obj10)
		(not_f obj11 obj11)
		(not_f obj11 obj12)
		(not_f obj11 obj13)
		(not_f obj11 obj14)
		(not_f obj11 obj15)
		(not_f obj11 obj16)
		(not_f obj11 obj17)
		(not_f obj11 obj18)
		(not_f obj11 obj19)
		(not_f obj11 obj20)
		(not_f obj11 obj21)
		(not_f obj11 obj22)
		(not_f obj11 obj23)
		(not_f obj11 max)
		(not_f obj12 zero)
		(not_f obj12 obj1)
		(not_f obj12 obj2)
		(not_f obj12 obj3)
		(not_f obj12 obj4)
		(not_f obj12 obj5)
		(not_f obj12 obj6)
		(not_f obj12 obj7)
		(not_f obj12 obj8)
		(not_f obj12 obj9)
		(not_f obj12 obj10)
		(not_f obj12 obj11)
		(not_f obj12 obj12)
		(not_f obj12 obj13)
		(not_f obj12 obj14)
		(not_f obj12 obj15)
		(not_f obj12 obj16)
		(not_f obj12 obj17)
		(not_f obj12 obj18)
		(not_f obj12 obj19)
		(not_f obj12 obj20)
		(not_f obj12 obj21)
		(not_f obj12 obj22)
		(not_f obj12 obj23)
		(not_f obj12 max)
		(not_f obj13 zero)
		(not_f obj13 obj1)
		(not_f obj13 obj2)
		(not_f obj13 obj3)
		(not_f obj13 obj4)
		(not_f obj13 obj5)
		(not_f obj13 obj6)
		(not_f obj13 obj7)
		(not_f obj13 obj8)
		(not_f obj13 obj9)
		(not_f obj13 obj10)
		(not_f obj13 obj11)
		(not_f obj13 obj12)
		(not_f obj13 obj13)
		(not_f obj13 obj14)
		(not_f obj13 obj15)
		(not_f obj13 obj16)
		(not_f obj13 obj17)
		(not_f obj13 obj18)
		(not_f obj13 obj19)
		(not_f obj13 obj20)
		(not_f obj13 obj21)
		(not_f obj13 obj22)
		(not_f obj13 obj23)
		(not_f obj13 max)
		(not_f obj14 zero)
		(not_f obj14 obj1)
		(not_f obj14 obj2)
		(not_f obj14 obj3)
		(not_f obj14 obj4)
		(not_f obj14 obj5)
		(not_f obj14 obj6)
		(not_f obj14 obj7)
		(not_f obj14 obj8)
		(not_f obj14 obj9)
		(not_f obj14 obj10)
		(not_f obj14 obj11)
		(not_f obj14 obj12)
		(not_f obj14 obj13)
		(not_f obj14 obj14)
		(not_f obj14 obj15)
		(not_f obj14 obj16)
		(not_f obj14 obj17)
		(not_f obj14 obj18)
		(not_f obj14 obj19)
		(not_f obj14 obj20)
		(not_f obj14 obj21)
		(not_f obj14 obj22)
		(not_f obj14 obj23)
		(not_f obj14 max)
		(not_f obj15 zero)
		(not_f obj15 obj1)
		(not_f obj15 obj2)
		(not_f obj15 obj3)
		(not_f obj15 obj4)
		(not_f obj15 obj5)
		(not_f obj15 obj6)
		(not_f obj15 obj7)
		(not_f obj15 obj8)
		(not_f obj15 obj9)
		(not_f obj15 obj10)
		(not_f obj15 obj11)
		(not_f obj15 obj12)
		(not_f obj15 obj13)
		(not_f obj15 obj14)
		(not_f obj15 obj15)
		(not_f obj15 obj16)
		(not_f obj15 obj17)
		(not_f obj15 obj18)
		(not_f obj15 obj19)
		(not_f obj15 obj20)
		(not_f obj15 obj21)
		(not_f obj15 obj22)
		(not_f obj15 obj23)
		(not_f obj15 max)
		(not_f obj16 zero)
		(not_f obj16 obj1)
		(not_f obj16 obj2)
		(not_f obj16 obj3)
		(not_f obj16 obj4)
		(not_f obj16 obj5)
		(not_f obj16 obj6)
		(not_f obj16 obj7)
		(not_f obj16 obj8)
		(not_f obj16 obj9)
		(not_f obj16 obj10)
		(not_f obj16 obj11)
		(not_f obj16 obj12)
		(not_f obj16 obj13)
		(not_f obj16 obj14)
		(not_f obj16 obj15)
		(not_f obj16 obj16)
		(not_f obj16 obj17)
		(not_f obj16 obj18)
		(not_f obj16 obj19)
		(not_f obj16 obj20)
		(not_f obj16 obj21)
		(not_f obj16 obj22)
		(not_f obj16 obj23)
		(not_f obj16 max)
		(not_f obj17 zero)
		(not_f obj17 obj1)
		(not_f obj17 obj2)
		(not_f obj17 obj3)
		(not_f obj17 obj4)
		(not_f obj17 obj5)
		(not_f obj17 obj6)
		(not_f obj17 obj7)
		(not_f obj17 obj8)
		(not_f obj17 obj9)
		(not_f obj17 obj10)
		(not_f obj17 obj11)
		(not_f obj17 obj12)
		(not_f obj17 obj13)
		(not_f obj17 obj14)
		(not_f obj17 obj15)
		(not_f obj17 obj16)
		(not_f obj17 obj17)
		(not_f obj17 obj18)
		(not_f obj17 obj19)
		(not_f obj17 obj20)
		(not_f obj17 obj21)
		(not_f obj17 obj22)
		(not_f obj17 obj23)
		(not_f obj17 max)
		(not_f obj18 zero)
		(not_f obj18 obj1)
		(not_f obj18 obj2)
		(not_f obj18 obj3)
		(not_f obj18 obj4)
		(not_f obj18 obj5)
		(not_f obj18 obj6)
		(not_f obj18 obj7)
		(not_f obj18 obj8)
		(not_f obj18 obj9)
		(not_f obj18 obj10)
		(not_f obj18 obj11)
		(not_f obj18 obj12)
		(not_f obj18 obj13)
		(not_f obj18 obj14)
		(not_f obj18 obj15)
		(not_f obj18 obj16)
		(not_f obj18 obj17)
		(not_f obj18 obj18)
		(not_f obj18 obj19)
		(not_f obj18 obj20)
		(not_f obj18 obj21)
		(not_f obj18 obj22)
		(not_f obj18 obj23)
		(not_f obj18 max)
		(not_f obj19 zero)
		(not_f obj19 obj1)
		(not_f obj19 obj2)
		(not_f obj19 obj3)
		(not_f obj19 obj4)
		(not_f obj19 obj5)
		(not_f obj19 obj6)
		(not_f obj19 obj7)
		(not_f obj19 obj8)
		(not_f obj19 obj9)
		(not_f obj19 obj10)
		(not_f obj19 obj11)
		(not_f obj19 obj12)
		(not_f obj19 obj13)
		(not_f obj19 obj14)
		(not_f obj19 obj15)
		(not_f obj19 obj16)
		(not_f obj19 obj17)
		(not_f obj19 obj18)
		(not_f obj19 obj19)
		(not_f obj19 obj20)
		(not_f obj19 obj21)
		(not_f obj19 obj22)
		(not_f obj19 obj23)
		(not_f obj19 max)
		(not_f obj20 zero)
		(not_f obj20 obj1)
		(not_f obj20 obj2)
		(not_f obj20 obj3)
		(not_f obj20 obj4)
		(not_f obj20 obj5)
		(not_f obj20 obj6)
		(not_f obj20 obj7)
		(not_f obj20 obj8)
		(not_f obj20 obj9)
		(not_f obj20 obj10)
		(not_f obj20 obj11)
		(not_f obj20 obj12)
		(not_f obj20 obj13)
		(not_f obj20 obj14)
		(not_f obj20 obj15)
		(not_f obj20 obj16)
		(not_f obj20 obj17)
		(not_f obj20 obj18)
		(not_f obj20 obj19)
		(not_f obj20 obj20)
		(not_f obj20 obj21)
		(not_f obj20 obj22)
		(not_f obj20 obj23)
		(not_f obj20 max)
		(not_f obj21 zero)
		(not_f obj21 obj1)
		(not_f obj21 obj2)
		(not_f obj21 obj3)
		(not_f obj21 obj4)
		(not_f obj21 obj5)
		(not_f obj21 obj6)
		(not_f obj21 obj7)
		(not_f obj21 obj8)
		(not_f obj21 obj9)
		(not_f obj21 obj10)
		(not_f obj21 obj11)
		(not_f obj21 obj12)
		(not_f obj21 obj13)
		(not_f obj21 obj14)
		(not_f obj21 obj15)
		(not_f obj21 obj16)
		(not_f obj21 obj17)
		(not_f obj21 obj18)
		(not_f obj21 obj19)
		(not_f obj21 obj20)
		(not_f obj21 obj21)
		(not_f obj21 obj22)
		(not_f obj21 obj23)
		(not_f obj21 max)
		(not_f obj22 zero)
		(not_f obj22 obj1)
		(not_f obj22 obj2)
		(not_f obj22 obj3)
		(not_f obj22 obj4)
		(not_f obj22 obj5)
		(not_f obj22 obj6)
		(not_f obj22 obj7)
		(not_f obj22 obj8)
		(not_f obj22 obj9)
		(not_f obj22 obj10)
		(not_f obj22 obj11)
		(not_f obj22 obj12)
		(not_f obj22 obj13)
		(not_f obj22 obj14)
		(not_f obj22 obj15)
		(not_f obj22 obj16)
		(not_f obj22 obj17)
		(not_f obj22 obj18)
		(not_f obj22 obj19)
		(not_f obj22 obj20)
		(not_f obj22 obj21)
		(not_f obj22 obj22)
		(not_f obj22 obj23)
		(not_f obj22 max)
		(not_f obj23 zero)
		(not_f obj23 obj1)
		(not_f obj23 obj2)
		(not_f obj23 obj3)
		(not_f obj23 obj4)
		(not_f obj23 obj5)
		(not_f obj23 obj6)
		(not_f obj23 obj7)
		(not_f obj23 obj8)
		(not_f obj23 obj9)
		(not_f obj23 obj10)
		(not_f obj23 obj11)
		(not_f obj23 obj12)
		(not_f obj23 obj13)
		(not_f obj23 obj14)
		(not_f obj23 obj15)
		(not_f obj23 obj16)
		(not_f obj23 obj17)
		(not_f obj23 obj18)
		(not_f obj23 obj19)
		(not_f obj23 obj20)
		(not_f obj23 obj21)
		(not_f obj23 obj22)
		(not_f obj23 obj23)
		(not_f obj23 max)
		(not_f max zero)
		(not_f max obj1)
		(not_f max obj2)
		(not_f max obj3)
		(not_f max obj4)
		(not_f max obj5)
		(not_f max obj6)
		(not_f max obj7)
		(not_f max obj8)
		(not_f max obj9)
		(not_f max obj10)
		(not_f max obj11)
		(not_f max obj12)
		(not_f max obj13)
		(not_f max obj14)
		(not_f max obj15)
		(not_f max obj16)
		(not_f max obj17)
		(not_f max obj18)
		(not_f max obj19)
		(not_f max obj20)
		(not_f max obj21)
		(not_f max obj22)
		(not_f max obj23)
		(not_f max max)
		(not_g zero zero)
		(not_g zero obj1)
		(not_g zero obj2)
		(not_g zero obj3)
		(not_g zero obj4)
		(not_g zero obj5)
		(not_g zero obj6)
		(not_g zero obj7)
		(not_g zero obj8)
		(not_g zero obj9)
		(not_g zero obj10)
		(not_g zero obj11)
		(not_g zero obj12)
		(not_g zero obj13)
		(not_g zero obj14)
		(not_g zero obj15)
		(not_g zero obj16)
		(not_g zero obj17)
		(not_g zero obj18)
		(not_g zero obj19)
		(not_g zero obj20)
		(not_g zero obj21)
		(not_g zero obj22)
		(not_g zero obj23)
		(not_g zero max)
		(not_g obj1 zero)
		(not_g obj1 obj1)
		(not_g obj1 obj2)
		(not_g obj1 obj3)
		(not_g obj1 obj4)
		(not_g obj1 obj5)
		(not_g obj1 obj6)
		(not_g obj1 obj7)
		(not_g obj1 obj8)
		(not_g obj1 obj9)
		(not_g obj1 obj10)
		(not_g obj1 obj11)
		(not_g obj1 obj12)
		(not_g obj1 obj13)
		(not_g obj1 obj14)
		(not_g obj1 obj15)
		(not_g obj1 obj16)
		(not_g obj1 obj17)
		(not_g obj1 obj18)
		(not_g obj1 obj19)
		(not_g obj1 obj20)
		(not_g obj1 obj21)
		(not_g obj1 obj22)
		(not_g obj1 obj23)
		(not_g obj1 max)
		(not_g obj2 zero)
		(not_g obj2 obj1)
		(not_g obj2 obj2)
		(not_g obj2 obj3)
		(not_g obj2 obj4)
		(not_g obj2 obj5)
		(not_g obj2 obj6)
		(not_g obj2 obj7)
		(not_g obj2 obj8)
		(not_g obj2 obj9)
		(not_g obj2 obj10)
		(not_g obj2 obj11)
		(not_g obj2 obj12)
		(not_g obj2 obj13)
		(not_g obj2 obj14)
		(not_g obj2 obj15)
		(not_g obj2 obj16)
		(not_g obj2 obj17)
		(not_g obj2 obj18)
		(not_g obj2 obj19)
		(not_g obj2 obj20)
		(not_g obj2 obj21)
		(not_g obj2 obj22)
		(not_g obj2 obj23)
		(not_g obj2 max)
		(not_g obj3 zero)
		(not_g obj3 obj1)
		(not_g obj3 obj2)
		(not_g obj3 obj3)
		(not_g obj3 obj4)
		(not_g obj3 obj5)
		(not_g obj3 obj6)
		(not_g obj3 obj7)
		(not_g obj3 obj8)
		(not_g obj3 obj9)
		(not_g obj3 obj10)
		(not_g obj3 obj11)
		(not_g obj3 obj12)
		(not_g obj3 obj13)
		(not_g obj3 obj14)
		(not_g obj3 obj15)
		(not_g obj3 obj16)
		(not_g obj3 obj17)
		(not_g obj3 obj18)
		(not_g obj3 obj19)
		(not_g obj3 obj20)
		(not_g obj3 obj21)
		(not_g obj3 obj22)
		(not_g obj3 obj23)
		(not_g obj3 max)
		(not_g obj4 zero)
		(not_g obj4 obj1)
		(not_g obj4 obj2)
		(not_g obj4 obj3)
		(not_g obj4 obj4)
		(not_g obj4 obj5)
		(not_g obj4 obj6)
		(not_g obj4 obj7)
		(not_g obj4 obj8)
		(not_g obj4 obj9)
		(not_g obj4 obj10)
		(not_g obj4 obj11)
		(not_g obj4 obj12)
		(not_g obj4 obj13)
		(not_g obj4 obj14)
		(not_g obj4 obj15)
		(not_g obj4 obj16)
		(not_g obj4 obj17)
		(not_g obj4 obj18)
		(not_g obj4 obj19)
		(not_g obj4 obj20)
		(not_g obj4 obj21)
		(not_g obj4 obj22)
		(not_g obj4 obj23)
		(not_g obj4 max)
		(not_g obj5 zero)
		(not_g obj5 obj1)
		(not_g obj5 obj2)
		(not_g obj5 obj3)
		(not_g obj5 obj4)
		(not_g obj5 obj5)
		(not_g obj5 obj6)
		(not_g obj5 obj7)
		(not_g obj5 obj8)
		(not_g obj5 obj9)
		(not_g obj5 obj10)
		(not_g obj5 obj11)
		(not_g obj5 obj12)
		(not_g obj5 obj13)
		(not_g obj5 obj14)
		(not_g obj5 obj15)
		(not_g obj5 obj16)
		(not_g obj5 obj17)
		(not_g obj5 obj18)
		(not_g obj5 obj19)
		(not_g obj5 obj20)
		(not_g obj5 obj21)
		(not_g obj5 obj22)
		(not_g obj5 obj23)
		(not_g obj5 max)
		(not_g obj6 zero)
		(not_g obj6 obj1)
		(not_g obj6 obj2)
		(not_g obj6 obj3)
		(not_g obj6 obj4)
		(not_g obj6 obj5)
		(not_g obj6 obj6)
		(not_g obj6 obj7)
		(not_g obj6 obj8)
		(not_g obj6 obj9)
		(not_g obj6 obj10)
		(not_g obj6 obj11)
		(not_g obj6 obj12)
		(not_g obj6 obj13)
		(not_g obj6 obj14)
		(not_g obj6 obj15)
		(not_g obj6 obj16)
		(not_g obj6 obj17)
		(not_g obj6 obj18)
		(not_g obj6 obj19)
		(not_g obj6 obj20)
		(not_g obj6 obj21)
		(not_g obj6 obj22)
		(not_g obj6 obj23)
		(not_g obj6 max)
		(not_g obj7 zero)
		(not_g obj7 obj1)
		(not_g obj7 obj2)
		(not_g obj7 obj3)
		(not_g obj7 obj4)
		(not_g obj7 obj5)
		(not_g obj7 obj6)
		(not_g obj7 obj7)
		(not_g obj7 obj8)
		(not_g obj7 obj9)
		(not_g obj7 obj10)
		(not_g obj7 obj11)
		(not_g obj7 obj12)
		(not_g obj7 obj13)
		(not_g obj7 obj14)
		(not_g obj7 obj15)
		(not_g obj7 obj16)
		(not_g obj7 obj17)
		(not_g obj7 obj18)
		(not_g obj7 obj19)
		(not_g obj7 obj20)
		(not_g obj7 obj21)
		(not_g obj7 obj22)
		(not_g obj7 obj23)
		(not_g obj7 max)
		(not_g obj8 zero)
		(not_g obj8 obj1)
		(not_g obj8 obj2)
		(not_g obj8 obj3)
		(not_g obj8 obj4)
		(not_g obj8 obj5)
		(not_g obj8 obj6)
		(not_g obj8 obj7)
		(not_g obj8 obj8)
		(not_g obj8 obj9)
		(not_g obj8 obj10)
		(not_g obj8 obj11)
		(not_g obj8 obj12)
		(not_g obj8 obj13)
		(not_g obj8 obj14)
		(not_g obj8 obj15)
		(not_g obj8 obj16)
		(not_g obj8 obj17)
		(not_g obj8 obj18)
		(not_g obj8 obj19)
		(not_g obj8 obj20)
		(not_g obj8 obj21)
		(not_g obj8 obj22)
		(not_g obj8 obj23)
		(not_g obj8 max)
		(not_g obj9 zero)
		(not_g obj9 obj1)
		(not_g obj9 obj2)
		(not_g obj9 obj3)
		(not_g obj9 obj4)
		(not_g obj9 obj5)
		(not_g obj9 obj6)
		(not_g obj9 obj7)
		(not_g obj9 obj8)
		(not_g obj9 obj9)
		(not_g obj9 obj10)
		(not_g obj9 obj11)
		(not_g obj9 obj12)
		(not_g obj9 obj13)
		(not_g obj9 obj14)
		(not_g obj9 obj15)
		(not_g obj9 obj16)
		(not_g obj9 obj17)
		(not_g obj9 obj18)
		(not_g obj9 obj19)
		(not_g obj9 obj20)
		(not_g obj9 obj21)
		(not_g obj9 obj22)
		(not_g obj9 obj23)
		(not_g obj9 max)
		(not_g obj10 zero)
		(not_g obj10 obj1)
		(not_g obj10 obj2)
		(not_g obj10 obj3)
		(not_g obj10 obj4)
		(not_g obj10 obj5)
		(not_g obj10 obj6)
		(not_g obj10 obj7)
		(not_g obj10 obj8)
		(not_g obj10 obj9)
		(not_g obj10 obj10)
		(not_g obj10 obj11)
		(not_g obj10 obj12)
		(not_g obj10 obj13)
		(not_g obj10 obj14)
		(not_g obj10 obj15)
		(not_g obj10 obj16)
		(not_g obj10 obj17)
		(not_g obj10 obj18)
		(not_g obj10 obj19)
		(not_g obj10 obj20)
		(not_g obj10 obj21)
		(not_g obj10 obj22)
		(not_g obj10 obj23)
		(not_g obj10 max)
		(not_g obj11 zero)
		(not_g obj11 obj1)
		(not_g obj11 obj2)
		(not_g obj11 obj3)
		(not_g obj11 obj4)
		(not_g obj11 obj5)
		(not_g obj11 obj6)
		(not_g obj11 obj7)
		(not_g obj11 obj8)
		(not_g obj11 obj9)
		(not_g obj11 obj10)
		(not_g obj11 obj11)
		(not_g obj11 obj12)
		(not_g obj11 obj13)
		(not_g obj11 obj14)
		(not_g obj11 obj15)
		(not_g obj11 obj16)
		(not_g obj11 obj17)
		(not_g obj11 obj18)
		(not_g obj11 obj19)
		(not_g obj11 obj20)
		(not_g obj11 obj21)
		(not_g obj11 obj22)
		(not_g obj11 obj23)
		(not_g obj11 max)
		(not_g obj12 zero)
		(not_g obj12 obj1)
		(not_g obj12 obj2)
		(not_g obj12 obj3)
		(not_g obj12 obj4)
		(not_g obj12 obj5)
		(not_g obj12 obj6)
		(not_g obj12 obj7)
		(not_g obj12 obj8)
		(not_g obj12 obj9)
		(not_g obj12 obj10)
		(not_g obj12 obj11)
		(not_g obj12 obj12)
		(not_g obj12 obj13)
		(not_g obj12 obj14)
		(not_g obj12 obj15)
		(not_g obj12 obj16)
		(not_g obj12 obj17)
		(not_g obj12 obj18)
		(not_g obj12 obj19)
		(not_g obj12 obj20)
		(not_g obj12 obj21)
		(not_g obj12 obj22)
		(not_g obj12 obj23)
		(not_g obj12 max)
		(not_g obj13 zero)
		(not_g obj13 obj1)
		(not_g obj13 obj2)
		(not_g obj13 obj3)
		(not_g obj13 obj4)
		(not_g obj13 obj5)
		(not_g obj13 obj6)
		(not_g obj13 obj7)
		(not_g obj13 obj8)
		(not_g obj13 obj9)
		(not_g obj13 obj10)
		(not_g obj13 obj11)
		(not_g obj13 obj12)
		(not_g obj13 obj13)
		(not_g obj13 obj14)
		(not_g obj13 obj15)
		(not_g obj13 obj16)
		(not_g obj13 obj17)
		(not_g obj13 obj18)
		(not_g obj13 obj19)
		(not_g obj13 obj20)
		(not_g obj13 obj21)
		(not_g obj13 obj22)
		(not_g obj13 obj23)
		(not_g obj13 max)
		(not_g obj14 zero)
		(not_g obj14 obj1)
		(not_g obj14 obj2)
		(not_g obj14 obj3)
		(not_g obj14 obj4)
		(not_g obj14 obj5)
		(not_g obj14 obj6)
		(not_g obj14 obj7)
		(not_g obj14 obj8)
		(not_g obj14 obj9)
		(not_g obj14 obj10)
		(not_g obj14 obj11)
		(not_g obj14 obj12)
		(not_g obj14 obj13)
		(not_g obj14 obj14)
		(not_g obj14 obj15)
		(not_g obj14 obj16)
		(not_g obj14 obj17)
		(not_g obj14 obj18)
		(not_g obj14 obj19)
		(not_g obj14 obj20)
		(not_g obj14 obj21)
		(not_g obj14 obj22)
		(not_g obj14 obj23)
		(not_g obj14 max)
		(not_g obj15 zero)
		(not_g obj15 obj1)
		(not_g obj15 obj2)
		(not_g obj15 obj3)
		(not_g obj15 obj4)
		(not_g obj15 obj5)
		(not_g obj15 obj6)
		(not_g obj15 obj7)
		(not_g obj15 obj8)
		(not_g obj15 obj9)
		(not_g obj15 obj10)
		(not_g obj15 obj11)
		(not_g obj15 obj12)
		(not_g obj15 obj13)
		(not_g obj15 obj14)
		(not_g obj15 obj15)
		(not_g obj15 obj16)
		(not_g obj15 obj17)
		(not_g obj15 obj18)
		(not_g obj15 obj19)
		(not_g obj15 obj20)
		(not_g obj15 obj21)
		(not_g obj15 obj22)
		(not_g obj15 obj23)
		(not_g obj15 max)
		(not_g obj16 zero)
		(not_g obj16 obj1)
		(not_g obj16 obj2)
		(not_g obj16 obj3)
		(not_g obj16 obj4)
		(not_g obj16 obj5)
		(not_g obj16 obj6)
		(not_g obj16 obj7)
		(not_g obj16 obj8)
		(not_g obj16 obj9)
		(not_g obj16 obj10)
		(not_g obj16 obj11)
		(not_g obj16 obj12)
		(not_g obj16 obj13)
		(not_g obj16 obj14)
		(not_g obj16 obj15)
		(not_g obj16 obj16)
		(not_g obj16 obj17)
		(not_g obj16 obj18)
		(not_g obj16 obj19)
		(not_g obj16 obj20)
		(not_g obj16 obj21)
		(not_g obj16 obj22)
		(not_g obj16 obj23)
		(not_g obj16 max)
		(not_g obj17 zero)
		(not_g obj17 obj1)
		(not_g obj17 obj2)
		(not_g obj17 obj3)
		(not_g obj17 obj4)
		(not_g obj17 obj5)
		(not_g obj17 obj6)
		(not_g obj17 obj7)
		(not_g obj17 obj8)
		(not_g obj17 obj9)
		(not_g obj17 obj10)
		(not_g obj17 obj11)
		(not_g obj17 obj12)
		(not_g obj17 obj13)
		(not_g obj17 obj14)
		(not_g obj17 obj15)
		(not_g obj17 obj16)
		(not_g obj17 obj17)
		(not_g obj17 obj18)
		(not_g obj17 obj19)
		(not_g obj17 obj20)
		(not_g obj17 obj21)
		(not_g obj17 obj22)
		(not_g obj17 obj23)
		(not_g obj17 max)
		(not_g obj18 zero)
		(not_g obj18 obj1)
		(not_g obj18 obj2)
		(not_g obj18 obj3)
		(not_g obj18 obj4)
		(not_g obj18 obj5)
		(not_g obj18 obj6)
		(not_g obj18 obj7)
		(not_g obj18 obj8)
		(not_g obj18 obj9)
		(not_g obj18 obj10)
		(not_g obj18 obj11)
		(not_g obj18 obj12)
		(not_g obj18 obj13)
		(not_g obj18 obj14)
		(not_g obj18 obj15)
		(not_g obj18 obj16)
		(not_g obj18 obj17)
		(not_g obj18 obj18)
		(not_g obj18 obj19)
		(not_g obj18 obj20)
		(not_g obj18 obj21)
		(not_g obj18 obj22)
		(not_g obj18 obj23)
		(not_g obj18 max)
		(not_g obj19 zero)
		(not_g obj19 obj1)
		(not_g obj19 obj2)
		(not_g obj19 obj3)
		(not_g obj19 obj4)
		(not_g obj19 obj5)
		(not_g obj19 obj6)
		(not_g obj19 obj7)
		(not_g obj19 obj8)
		(not_g obj19 obj9)
		(not_g obj19 obj10)
		(not_g obj19 obj11)
		(not_g obj19 obj12)
		(not_g obj19 obj13)
		(not_g obj19 obj14)
		(not_g obj19 obj15)
		(not_g obj19 obj16)
		(not_g obj19 obj17)
		(not_g obj19 obj18)
		(not_g obj19 obj19)
		(not_g obj19 obj20)
		(not_g obj19 obj21)
		(not_g obj19 obj22)
		(not_g obj19 obj23)
		(not_g obj19 max)
		(not_g obj20 zero)
		(not_g obj20 obj1)
		(not_g obj20 obj2)
		(not_g obj20 obj3)
		(not_g obj20 obj4)
		(not_g obj20 obj5)
		(not_g obj20 obj6)
		(not_g obj20 obj7)
		(not_g obj20 obj8)
		(not_g obj20 obj9)
		(not_g obj20 obj10)
		(not_g obj20 obj11)
		(not_g obj20 obj12)
		(not_g obj20 obj13)
		(not_g obj20 obj14)
		(not_g obj20 obj15)
		(not_g obj20 obj16)
		(not_g obj20 obj17)
		(not_g obj20 obj18)
		(not_g obj20 obj19)
		(not_g obj20 obj20)
		(not_g obj20 obj21)
		(not_g obj20 obj22)
		(not_g obj20 obj23)
		(not_g obj20 max)
		(not_g obj21 zero)
		(not_g obj21 obj1)
		(not_g obj21 obj2)
		(not_g obj21 obj3)
		(not_g obj21 obj4)
		(not_g obj21 obj5)
		(not_g obj21 obj6)
		(not_g obj21 obj7)
		(not_g obj21 obj8)
		(not_g obj21 obj9)
		(not_g obj21 obj10)
		(not_g obj21 obj11)
		(not_g obj21 obj12)
		(not_g obj21 obj13)
		(not_g obj21 obj14)
		(not_g obj21 obj15)
		(not_g obj21 obj16)
		(not_g obj21 obj17)
		(not_g obj21 obj18)
		(not_g obj21 obj19)
		(not_g obj21 obj20)
		(not_g obj21 obj21)
		(not_g obj21 obj22)
		(not_g obj21 obj23)
		(not_g obj21 max)
		(not_g obj22 zero)
		(not_g obj22 obj1)
		(not_g obj22 obj2)
		(not_g obj22 obj3)
		(not_g obj22 obj4)
		(not_g obj22 obj5)
		(not_g obj22 obj6)
		(not_g obj22 obj7)
		(not_g obj22 obj8)
		(not_g obj22 obj9)
		(not_g obj22 obj10)
		(not_g obj22 obj11)
		(not_g obj22 obj12)
		(not_g obj22 obj13)
		(not_g obj22 obj14)
		(not_g obj22 obj15)
		(not_g obj22 obj16)
		(not_g obj22 obj17)
		(not_g obj22 obj18)
		(not_g obj22 obj19)
		(not_g obj22 obj20)
		(not_g obj22 obj21)
		(not_g obj22 obj22)
		(not_g obj22 obj23)
		(not_g obj22 max)
		(not_g obj23 zero)
		(not_g obj23 obj1)
		(not_g obj23 obj2)
		(not_g obj23 obj3)
		(not_g obj23 obj4)
		(not_g obj23 obj5)
		(not_g obj23 obj6)
		(not_g obj23 obj7)
		(not_g obj23 obj8)
		(not_g obj23 obj9)
		(not_g obj23 obj10)
		(not_g obj23 obj11)
		(not_g obj23 obj12)
		(not_g obj23 obj13)
		(not_g obj23 obj14)
		(not_g obj23 obj15)
		(not_g obj23 obj16)
		(not_g obj23 obj17)
		(not_g obj23 obj18)
		(not_g obj23 obj19)
		(not_g obj23 obj20)
		(not_g obj23 obj21)
		(not_g obj23 obj22)
		(not_g obj23 obj23)
		(not_g obj23 max)
		(not_g max zero)
		(not_g max obj1)
		(not_g max obj2)
		(not_g max obj3)
		(not_g max obj4)
		(not_g max obj5)
		(not_g max obj6)
		(not_g max obj7)
		(not_g max obj8)
		(not_g max obj9)
		(not_g max obj10)
		(not_g max obj11)
		(not_g max obj12)
		(not_g max obj13)
		(not_g max obj14)
		(not_g max obj15)
		(not_g max obj16)
		(not_g max obj17)
		(not_g max obj18)
		(not_g max obj19)
		(not_g max obj20)
		(not_g max obj21)
		(not_g max obj22)
		(not_g max obj23)
		(not_g max max)
		(free_domain_f zero)
		(free_domain_f obj1)
		(free_domain_f obj2)
		(free_domain_f obj3)
		(free_domain_f obj4)
		(free_domain_f obj5)
		(free_domain_f obj6)
		(free_domain_f obj7)
		(free_domain_f obj8)
		(free_domain_f obj9)
		(free_domain_f obj10)
		(free_domain_f obj11)
		(free_domain_f obj12)
		(free_domain_f obj13)
		(free_domain_f obj14)
		(free_domain_f obj15)
		(free_domain_f obj16)
		(free_domain_f obj17)
		(free_domain_f obj18)
		(free_domain_f obj19)
		(free_domain_f obj20)
		(free_domain_f obj21)
		(free_domain_f obj22)
		(free_domain_f obj23)
		(free_domain_f max)
		(free_range_f zero)
		(free_range_f obj1)
		(free_range_f obj2)
		(free_range_f obj3)
		(free_range_f obj4)
		(free_range_f obj5)
		(free_range_f obj6)
		(free_range_f obj7)
		(free_range_f obj8)
		(free_range_f obj9)
		(free_range_f obj10)
		(free_range_f obj11)
		(free_range_f obj12)
		(free_range_f obj13)
		(free_range_f obj14)
		(free_range_f obj15)
		(free_range_f obj16)
		(free_range_f obj17)
		(free_range_f obj18)
		(free_range_f obj19)
		(free_range_f obj20)
		(free_range_f obj21)
		(free_range_f obj22)
		(free_range_f obj23)
		(free_range_f max)
		(free_domain_g zero)
		(free_domain_g obj1)
		(free_domain_g obj2)
		(free_domain_g obj3)
		(free_domain_g obj4)
		(free_domain_g obj5)
		(free_domain_g obj6)
		(free_domain_g obj7)
		(free_domain_g obj8)
		(free_domain_g obj9)
		(free_domain_g obj10)
		(free_domain_g obj11)
		(free_domain_g obj12)
		(free_domain_g obj13)
		(free_domain_g obj14)
		(free_domain_g obj15)
		(free_domain_g obj16)
		(free_domain_g obj17)
		(free_domain_g obj18)
		(free_domain_g obj19)
		(free_domain_g obj20)
		(free_domain_g obj21)
		(free_domain_g obj22)
		(free_domain_g obj23)
		(free_domain_g max)
		(free_range_g zero)
		(free_range_g obj1)
		(free_range_g obj2)
		(free_range_g obj3)
		(free_range_g obj4)
		(free_range_g obj5)
		(free_range_g obj6)
		(free_range_g obj7)
		(free_range_g obj8)
		(free_range_g obj9)
		(free_range_g obj10)
		(free_range_g obj11)
		(free_range_g obj12)
		(free_range_g obj13)
		(free_range_g obj14)
		(free_range_g obj15)
		(free_range_g obj16)
		(free_range_g obj17)
		(free_range_g obj18)
		(free_range_g obj19)
		(free_range_g obj20)
		(free_range_g obj21)
		(free_range_g obj22)
		(free_range_g obj23)
		(free_range_g max)
			)
	(:goal (and (holds_goal))
	)
)